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.2.5 Released
    Guillaume Delhumeau - 2015-01-27 12:15
SpagoBI 5.1 is out!
    Grazia Cazzin - 2015-01-24 15:30
XWiki 6.4 Released
    Vincent Massol - 2015-01-21 14:08
XWiki 6.4 Milestone 3 Released
    Ecaterina Moraru (Valica) - 2015-01-07 13:28
LemonLDAP::NG 1.4.3 is out!
    Clément OUDOT - 2014-12-19 14:48

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