OKlibrary  0.2.1.6
general.hpp File Reference

Plans for Maxima-components regarding constraint satisfaction problems. More...

Go to the source code of this file.


Detailed Description

Plans for Maxima-components regarding constraint satisfaction problems.

Todo:
Create milestones
Todo:
Write tests
Todo:
Write docus
Todo:
Relations to other modules
Todo:
SAT translations

Definition in file general.hpp.