Advanced - Powered by Google

Log In
New Account
My Page
Project Tree
Project Openings
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 7.1.3 Released
    Eduard Moraru - 2015-11-17 16:10
XWiki 7.3 Released
    Ecaterina Moraru (Valica) - 2015-11-11 21:27
XWiki 7.3 Release Candidate 1 Released
    Marius Dumitru Florea - 2015-11-09 14:38
XWiki 6.4.6 Released
    Denis Gervalle - 2015-11-08 20:13
XWiki 7.3 Milestone 2 Released
    Thomas Mortagne - 2015-10-29 14:10

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