(from OW2 Gitlab)

Sat4j

the boolean satisfaction and optimization library in Java

Home
Products
Documentation
Howto
About
Users

Software we use to develop SAT4J

Libraries

Jakarta Commons Command LIne parser
Jakarta Commons BeanUtils
Mozilla Rhino
PDDL4J

Tools

Ant
Anthill
Checkstyle
Classycle
Clover
Eclipse
Findbugs
JDepend
JUnit
Netbeans
PMD
Simian

Java software for SAT

Daniel Jackson's Alloy Analyzer
Carsten Sinz's DPvis
Kerry M. Soileau's Java package for conversion into SAT problem
Ivor Spence's SuDoKu as Satisfiability (use SAT4J)
Jat Java SAT/SMT solver by Scott Cotton
Olivier Bailleux 's BoolVar Java library

Software related to SAT4J

The original MiniSAT (C++)
The original UBCSAT (C)

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