sat4j

sat4j

Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.

Forked from SAT4J / sat4j