OKlibrary  0.2.1.6
MinimalSatisfyingAssignments.hpp File Reference

Plans for computing the set of minimal satisfying assignments. More...

Go to the source code of this file.


Detailed Description

Plans for computing the set of minimal satisfying assignments.

Todo:
Implement the trivial algorithm

Definition in file MinimalSatisfyingAssignments.hpp.