Cardinality Constraint SAT

Project information

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

19 Commits
1 Branch
0 Tags

README
BSD 2-Clause "Simplified" License

Created on

June 09, 2021

Loading