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
LemonLDAP::NG 1.4.1 is out!
    Clément OUDOT - 2014-07-25 12:34
Talend Open Studio for Data Integration 5.6.0M2 available
    Patrick Coffre - 2014-07-07 18:55
LemonLDAP::NG 1.4.0 is out!
    Clément OUDOT - 2014-06-30 17:14
Talend Open Studio for Data Integration 5.5.1 available
    Patrick Coffre - 2014-06-25 11:19
Release WebLab Bundle 2.0.2
    Arnaud Saval - 2014-06-25 11:18

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 | You have a difficulty, a problem ? Please report an issue using your OW2 forge account credentials