1. Sat4j




The library of pseudo boolean solvers based on the core framework.

Issues: Unresolved

Key Summary Due Date
Task SAT-92 Add documents on Sat4j web site to conform with OW2 mature project requirements
Bug SAT-128 PB solver finds wrong optimal solution when a unit clause appears in the input file
Improvement SAT-19 Allow creation of clauses, cardinality and pseudo boolean constraints using arrays of primitive type

View Issues

Issues: Updated recently

Key Summary Updated
Bug SAT-138 Fix WBO issue found during PB 2016
Bug SAT-137 DependencyHelper corrupts existing constraints
Bug SAT-136 Incorrect answer with PB Solver

View Issues

Versions: Unreleased

Name Release date
Unreleased 2.3.6
Unreleased 3.0