The library of pseudo boolean solvers based on the core framework.
- Lead: Updateme Updateme
|SAT-92||Add documents on Sat4j web site to conform with OW2 mature project requirements|
|SAT-128||PB solver finds wrong optimal solution when a unit clause appears in the input file|
|SAT-19||Allow creation of clauses, cardinality and pseudo boolean constraints using arrays of primitive type|