Skip to content
sat4j

sat4j

Project ID: 41

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