OKlibrary  0.2.1.6
general.hpp File Reference

Plans for Maxima-components regarding minimally unsatisfiable clause-sets. More...

Go to the source code of this file.


Detailed Description

Plans for Maxima-components regarding minimally unsatisfiable clause-sets.

Todo:
Create milestones
Todo:
Create tests
Todo:
Connections to other modules
Todo:
Overview on generators for MUSAT

Definition in file general.hpp.