1. Sat4j




core SAT engine, based on the minisat framework.

Issues: Unresolved

Key Summary Due Date
Task SAT-92 Add documents on Sat4j web site to conform with OW2 mature project requirements
Improvement SAT-97 Allow Sat4j statistics to be visible using JMX
Improvement SAT-1 Use a specific data structure for binary clauses compatible with reason simplification

View Issues

Issues: Updated recently

Key Summary Updated
New Feature SAT-140 Add support for parity constraints
Bug SAT-139 Invalid multiple solutions with call to isSatisfiable(true) in ModelIterator
Improvement SAT-134 Throw IllegalStateException when calling unsatExplanation to avoid NPE.

View Issues

Versions: Unreleased

Name Release date
Unreleased 2.3.6
Unreleased 3.0