Release Notes - Sat4j - Version 2.3.3

** Bug
* [SAT-65] - Fix the value of the objective function in maxsat when some constraints are satisfied
* [SAT-75] - create a toString method for negated objects within Dependency Helper
* [SAT-76] - Intermediate results not displayed during optimization
* [SAT-77] - Allow dependencyHelper to return the truth value of a negated object
* [SAT-84] - Maxsat fails with java.lang.ArrayIndexOutOfBoundsException
* [SAT-87] - exploding runtime in case of repeated calls for satisfiability


** Improvement
* [SAT-33] - Improve project documentation (including web site)
* [SAT-85] - Allow easy access to a pseudo boolean optimizer
* [SAT-86] - Add Glucose 21 dynamic restart strategy and enable it by default
* [SAT-88] - Avoid calling visualization code when no visualization is needed

** New Feature
* [SAT-13] - Compute minimal size unsat core
* [SAT-23] - Optimization timeout
* [SAT-68] - Allow computing all MUSes using two calls to the SAT solver
* [SAT-70] - Allow the possibility to compute counter models (negate a formula)
* [SAT-80] - Allow lexicographic optimization from OPB files
* [SAT-83] - Allow JSON I/O for embedded applications