Sat4j

SAT4J is a boolean reasoning engine in Java based on the SATisfiability problem (SAT). It allows to solve both satisfaction and optimization problems.

• URL:

  http://www.sat4j.org/

  Lead:

  Daniel Le Berre

  Key:

  SAT

• SAT-8 2011-03-27T16-41 2012-02-02T13-57 Allow iterating over optimal solutions
• SAT-1 2011-02-12T16-33 2011-08-04T13-00 Use a specific data structure for binary clauses compatible with reason simplification
• SAT-2 2011-02-12T16-36 2011-08-04T13-00 Allow iteration on MUS

• SAT-64 2012-03-27T13-33 27/Mar/12 Allow the solver to keep hot between successive calls
• SAT-63 2012-03-27T13-30 27/Mar/12 Make Java 1.5 binaries instead of 1.4
• SAT-62 2012-03-19T23-41 20/Mar/12 Expose solver stats and info programatically

• 2.3.2