OKlibrary  0.2.1.6
milestones.hpp File Reference

Go to the source code of this file.


Detailed Description

Module Versions:
Satisfiability/Lisp/Generators 0.0.8 (29.11.2009)
Version 0.0.9
In ComputerAlgebra/Satisfiability/Lisp/Generators/plans/general.hpp the following topics are handled:
  • Update milestones
  • Split Generators/Generators.mac : DONE
In ComputerAlgebra/Satisfiability/Lisp/Generators/plans/Pigeonhole.hpp the following topics are handled:
  • Update the php-functions
  • Add tests for weak_php_ext_fcs : DONE
In ComputerAlgebra/Satisfiability/Lisp/Generators/plans/RandomClauseSets.hpp the following topics are handled:
  • Move random_full_fcs : DONE
Version 0.0.10
In ComputerAlgebra/Satisfiability/Lisp/Generators/plans/Pigeonhole.hpp the following topics are handled:
  • Standard variable ordering for extended-pigeon-hole formulas
  • Extended Resolution clauses for the Pigeon Hole Principle
In ComputerAlgebra/Satisfiability/Lisp/Generators/plans/LatinSquares.hpp the following topics are handled:
  • Organisation
In ComputerAlgebra/Satisfiability/Lisp/Generators/plans/general.hpp the following topics are handled:
  • Split Generators/Generators.mac
Version 0.0.11
In ComputerAlgebra/Satisfiability/Lisp/Generators/plans/general.hpp the following topics are handled:
  • Accompanying statistics
In ComputerAlgebra/Satisfiability/Lisp/Generators/plans/LatinSquares.hpp the following topics are handled:
  • Different encodings
  • Further conditions
Version 0.0.12
In ComputerAlgebra/Satisfiability/Lisp/Generators/plans/general.hpp the following topics are handled:
  • Write basic docus
Version 0.1
In ComputerAlgebra/Satisfiability/Lisp/Generators/plans/general.hpp the following topics are handled:
  • Variables
Version 0.1.1
In Lisp/Generators/plans/Sudoku.hpp the following topics are handled:
  • Implement the four mixed cases for the direct translation
  • Further improve implementation
Version 0.1.2
Lisp/Generators/RamseyTheory version 0.0.9
(see Lisp/Generators/RamseyTheory/plans/milestones.hpp)
In Lisp/Generators/plans/NonBooleanTranslations.hpp the following topics are handled:
  • Add standardised translations
  • Translating non-boolean clause-sets into boolean clause-sets : DONE
  • Add translations for non-boolean clause-lists with uniform domain DONE
In ComputerAlgebra/Satisfiability/Lisp/Generators/plans/RandomClauseSets.hpp the following topics are handled:
  • Specifying the AES random generator
Version 0.1.3
In Lisp/Generators/plans/LatinSquares.hpp the following topics are handled:
  • Update
  • Systematisation
  • Extensions
Version 0.1.4
Lisp/Generators/RamseyTheory version 0.0.10
(see Lisp/Generators/RamseyTheory/plans/milestones.hpp)
In ComputerAlgebra/Satisfiability/Lisp/Generators/plans/LinearInequality.hpp the following topics are handled:
  • Add adder circuit translation
In ComputerAlgebra/Satisfiability/Lisp/Generators/plans/RandomClauseSets.hpp the following topics are handled:
  • Implementing the AES random generator
Version 0.1.5
In ComputerAlgebra/Satisfiability/Lisp/Generators/plans/RandomClauseSets.hpp the following topics are handled:
  • Random subsets, sublists etc.
Version 0.1.6
In ComputerAlgebra/Satisfiability/Lisp/Generators/plans/RandomClauseSets.hpp the following topics are handled:
  • Filtering out
Version 0.2
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.2.1
Lisp/Generators/RamseyTheory version 0.1.1
(see ComputerAlgebra/Satisfiability/Lisp/Generators/RamseyTheory/plans/milestones.hpp)

-------------------------------------------------------------------------------------------------------------------------------------

Version history
  • 0.0.7 : 30.11.2008; initial version, several basic generators available, and plans for strengthening Ramsey-problem-generators.
  • 0.0.8 : 29.11.2009; various generators from the field of Ramsey-theory, progress with AES-random-generator, latin squares and Sudoku problems, improved the general system.

Definition in file milestones.hpp.