Sat4j


Sat4j is a library aiming at providing a simple and efficient open source library of SAT solvers in Java.

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.

 

Web site

News

Twitter

Project leader(s)

Daniel Le Berre


Functionality

Middleware framework / Component / Tool

Status

Mature

License(s)

Eclipse Public License 1.0 GNU Lesser General Public License v2.1 only

VCS repository(ies)

- type: git
  web: https://gitlab.ow2.org/sat4j


Issue tracker URL

Discussion channels

Professional case studies

Professional support

..