SAT

Exact

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

Accompanying my bachelor thesis "Algorithms for quantified Boolean Formulas" (Algorithmen für quantifizierte Boole'sche Formeln")

A version of cryptominisat allowing Projection in Model Counting.