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
Valid XHTML 1.1 Valid CSS!
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.