Sat4j

Sat4j

Versions

Name Start date Release date Description
Unreleased 3.0 Java 8 based version of Sat4j
Unreleased 2.3.6 release containing the solvers submitted to SAT13 competitive events and algorithms published at FMCAD13 and SAT14
Released 2.3.5 2.3.4 plus fix for SAT-107 (to be released for Eclipse Kepler)
Released 2.3.4 maintenance release for inclusion in Eclipse Kepler
Released 2.3.3 third maintenance release for the 2.3 release
Released 2.3.2 second maintenance release for 2.3 release
Released 2.3.1 first maintenance release for 2.3
Released 2.3.0 2011 release of Sat4j
Released 2.2.3
Released 2.2.2