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-04-19 14:40
Summary: Sat4j 2.3.4 released!

A new release of Sat4j fixing one important issue (see SAT-95) is now available. All users of the library are encoureaged to update to that new version. SAT users can now benefit from certified UNSAT answers using RUP format.

Release Notes - Sat4j - Version 2.3.4

** Bug
* [SAT-91] - MSS that are computed by AllMUSes class are not always maximal in the group case
* [SAT-95] - OptToPBSATAdapter does not always return an optimal solution
* [SAT-101] - CSReader doesnt throws a ContradictionException when adding conflicting clauses.


** Improvement
* [SAT-96] - Allow Sat4j to provide unsat proofs in RUP format
* [SAT-98] - Allow hybrid lexico optimization
* [SAT-100] - Create a specific event when learning unit clauses

** New Feature
* [SAT-99] - Added unsat proof capability to Sat4j


Latest News
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
XWiki 6.0 Milestone 2 Released
    Thomas Mortagne - 2014-04-02 11:49

Discussion Forums: Sat4j 2.3.4 released!

Start New Thread Start New Thread | Admin

 

Topic Topic Starter Replies Last Post
 Where can I get sources from?Krzysztof Daniel02013-05-09 14:56
   

Copyright © 1999-2008, OW2 Consortium | contact | webmaster.