- Module Versions:
- Lisp/Generators/RamseyTheory 0.0.8 (22.8.2008)
- Version 0.0.9
- In Satisfiability/Lisp/Generators/RamseyTheory/plans/general.hpp the following topics are handled:
- Systematising output functionality
- In Lisp/Generators/RamseyTheory/plans/VanderWaerdenProblems.hpp the following topics are handled:
- Organisation
- Standardisation
- Systematic output and output-functions
- In Satisfiability/Lisp/Generators/RamseyTheory/plans/RamseyProblems.hpp the following topics are handled:
- MG must completely update this file!
- Create a systematic naming scheme
- In Satisfiability/Lisp/Generators/RamseyTheory/plans/HindmanProblems.hpp the following topics are handled:
- Improve generator names
- The notion of a "Hindman parameter tuple"
- Update the following milestones.
- Version 0.0.10
- In Satisfiability/Lisp/Generators/RamseyTheory/plans/RamseyProblems.hpp the following topics are handled:
- Extend Ramsey symmetry breaking generators to generate Extended Dimacs
- Improve docus
- Extreme cases
- More efficient computation
- In Lisp/Generators/RamseyTheory/plans/VanderWaerdenProblems.hpp the following topics are handled:
- Arithmetic progressions for prime numbers
- In /Lisp/Generators/RamseyTheory/plans/GasarchProblems.hpp the following topics are handled:
- Completion of basic functionality
- Implement other translations
- Version 0.0.11
- In Satisfiability/Lisp/Generators/RamseyTheory/plans/RamseyProblems.hpp the following topics are handled:
- Relations to other modules
- Symmetry breaking by using symmetries of the solution space
- Reimplement "Symmetry breaking by using Ramsey-symmetries of the
clause-set"
- In Lisp/Generators/RamseyTheory/plans/VanderWaerdenProblems.hpp the following topics are handled:
- Statistics
- Systematics output and output-functions
- Version 0.1
- We have rudimentary documentation for all generators, and for Ramsey problems we have translations available for all (standard) forms, including some initial symmetry-breaking encodings. And the basic methodology for writing generators is in place.
- Version 0.1.1
- In Satisfiability/Lisp/Generators/RamseyTheory/plans/RamseyProblems.hpp the following topics are handled:
- Generators for all standard Ramsey problems
-------------------------------------------------------------------------------------------------------------------------------------
- Version history
- 0.0.8 : 22.8.2009; initial version, several basic generators available (van-der-Waerden-, Green-Tao-, Hindman-, and Ramsey-problems), and plans for further extensions.
Definition in file milestones.hpp.