SAT

Cardinality Constraints for SAT Algorithm that, given a cardinality constraint, generates a conjunctive normal form in DIMACS format.

Implementation of various algorithms around the SAT problem.