Advanced - Powered by Google


   
Log In
New Account
  
 
Home
My Page
Project Tree
Project Openings
SAT4J
          
 
 
Summary
Forums
Lists
Tasks
Docs
Surveys
News
CVS
Files
SVN
                    
 
Notes:

Release Name: 2.3.3

Notes: That release requires a Java 1.5+ platform.


Changes: 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

Copyright © 1999-2008, OW2 Consortium | contact | You have a difficulty, a problem ? Please report an issue using your OW2 forge account credentials