The SAT4J team is happy to announce a new release candidate of the SAT4J library.
A specific effort has been done on improving optimization problem solvers in pseudo boolean optimization and maxsat.
- Optimization constraints are now removed from the solver when they are subsumed.
- The instance reader for maxsat has been improved.
The DependencyHelper class has also been improved to allow third party users to benefit from SAT technology without worrying about the details.
SAT4J MAXSAT users are strongly encouraged to update to that release if they are using either 2.1 RC1 or 2.1 RC2 releases: we identified a bug in the management of weighted binary clauses causing potential correctness problems.