OKlibrary  0.2.1.6
general.hpp File Reference

Plans for Maxima-components regarding propositional logic. More...

Go to the source code of this file.


Detailed Description

Plans for Maxima-components regarding propositional logic.

Todo:
Create milestones.
Todo:
Simplifications
  • Discuss basic_simplification_ft.
  • Write merging-transformation (eliminating chains).
  • Contract repeated subtrees at a node.

Definition in file general.hpp.