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
                  
 
Posted By: Daniel Le Berre
Date: 2013-02-09 12:19
Summary: Sat4j 2.3.3 released


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

Latest News
XWiki 6.3 Milestone 1 Released
    Thomas Mortagne - 2014-10-17 12:25
XWiki 5.4.6 Released
    Guillaume Delhumeau - 2014-10-16 17:18
XWiki 6.2.2 Released
    Vincent Massol - 2014-10-15 16:34
XWiki 6.2.1 Released
    Vincent Massol - 2014-09-30 16:36
Talend Open Studio for Data Integration 5.6.0RC1 available
    Patrick Coffre - 2014-09-26 19:56

Discussion Forums: Sat4j 2.3.3 released

Start New Thread Start New Thread | Admin

 

Topic Topic Starter Replies Last Post
   

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