(from OW2 Forge)

SAT4J: Bringing the power of SAT technology to the Java platform

Software we use to develop SAT4J

Libraries

Tools

Java software for SAT

Software related to SAT4J

CRIL

OW2 Consortium

This is free software under both the Eclipse Public License and the GNU LGPL licence developed at CRIL. The SAT4J project is kindly hosted on the OW2 forge.