HTTP_HOST =>forge.ow2.orgsys_default_domain =>forge.ow2.org
testing log OW2 Forge: Sat4j 2.3.3 released

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
ASM 5.0.2 released
    Eric Bruneton - 2014-04-21 09:53
XWiki 6.0 Release Candidate 1 Released
    Thomas Mortagne - 2014-04-15 18:38
SpagoBI 4.2 now available !
    Grazia Cazzin - 2014-04-12 17:23
XWiki 5.4.4 Released
    Guillaume Delhumeau - 2014-04-10 12:06
Telosys Tools 2.1.0 is ready
    Laurent GUERIN - 2014-04-07 11:55

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 | webmaster.