Advanced - Powered by Google


   
Log In
New Account
  

The services provided by this GForge instance will stop on Jun/30. Please have a look at the information notice for more information

 
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
Joram 5.15 is released
    Andre Freyssinet - 2018-05-04 10:58
Joram 5.15 is released
    Andre Freyssinet - 2018-05-04 10:58
ASM 6.1 released
    Eric Bruneton - 2018-03-11 10:25
XWiki Release announcement moved
    Vincent Massol - 2018-02-26 16:34
ASM 6.1-beta released
    Eric Bruneton - 2018-01-06 15:03

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