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