OKlibrary  0.2.1.6
general.hpp File Reference

Plans for SAT via computer-algebra-systems in general. More...

Go to the source code of this file.


Detailed Description

Plans for SAT via computer-algebra-systems in general.

Todo:
Create a development plan
  • Yet only the Lisp part.
  • But we need to check what happens with Axiom.

Definition in file general.hpp.