SAT4J

SAT4J

Project overview

The aim of the SAT4J library is to provide a simple and efficient open
source library of SAT solvers in Java. The SAT4J library targets first
users of SAT "black boxes", willing to embed SAT technologies into their
application without worrying about the details. SAT4J is currently the
most widely deployed SAT framework because of its adoption within the
Eclipse Open platform.

SAT4J is available under both the Eclipse Public License and the GNU
LGPL licence