milestones.hpp File Reference

Go to the source code of this file.

Detailed Description

Module Versions:
Satisfiability/Lisp/PropositionalLogic 0.1 (1.1.2010)
Version 0.1.1
In Lisp/PropositionalLogic/plans/general.hpp the following topics are handled:
  • Simplifications
In Lisp/PropositionalLogic/plans/Formulas.hpp the following topics are handled:
  • Replacement of "makelist" by "create_list"
Further milestones are created.


Version history
  • 0.1.0 : 1.1.2010; basic concepts under development, with several prototypes.

Definition in file milestones.hpp.