OKlibrary  0.2.1.6
general.hpp File Reference

General plans regarding SAT at the Aldor/Axiom level. More...

Go to the source code of this file.


Detailed Description

General plans regarding SAT at the Aldor/Axiom level.

Todo:
Develop plans
  • After the installation of Axiom/Aldor, some experience is needed.
Todo:
Create milestones.

Definition in file general.hpp.