OKlibrary  0.2.1.6
milestones.hpp File Reference

Go to the source code of this file.


Detailed Description

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.