Front-end
Back-end
Maven Repository : org.sat4j
org.sat4j : org.sat4j.core
org.sat4j
org.sat4j.core
2.0.0
2.0.4
2.2.3
2.3.0
2.3.1
org.sat4j : org.sat4j.csp
org.sat4j
org.sat4j.csp
2.2.3
2.3.0
org.sat4j : org.sat4j.csp.xmlparser
org.sat4j
org.sat4j.csp.xmlparser
2.2.3
2.3.0
org.sat4j : org.sat4j.maxsat
org.sat4j
org.sat4j.maxsat
2.2.3
2.3.0
2.3.1
org.sat4j : org.sat4j.pb
org.sat4j
org.sat4j.pb
2.0.0
2.0.4
2.2.3
2.3.0
2.3.1
org.sat4j : org.sat4j.pom
org.sat4j
org.sat4j.pom
2.2.3
2.3.0
2.3.1
org.sat4j : org.sat4j.sat
org.sat4j
org.sat4j.sat
2.2.3
2.3.0