The new release mainly cleans up the code of release 2.2 and provides the new Minimally Unsatisfiable Subset solver submitted to the SAT 2011 competition and the possibility for the MAXSAT solver to be used as an incomplete solver for the MAXSAT Evaluation 2011.

Since January 2011, issues and feature requests are managed using OW2 instance of JIRA: http://jira.ow2.org/browse/SAT

Changelog:

** Bug
* [SAT-5] - Global timeout not properly taken into account when optimizing solutions
* [SAT-9] - Trivial inconsistency in cardinality constraints not properly handled

** Improvement
* [SAT-4] - Provide a representation of pseudo boolean constraints with primitive type long instead of BigInteger

** New Feature
* [SAT-7] - Allow the addition of soft cardinality constraints