
sat4j
Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.
Forked from SAT4J / sat4j
Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.
Forked from SAT4J / sat4j