- 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:
- 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:
- 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:
- Version 0.1
- In ComputerAlgebra/Satisfiability/Lisp/Generators/plans/general.hpp the following topics are handled:
- 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:
- 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.