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
SVN
                    
 
Notes:

Release Name: 2.3.4

Notes: 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


Changes:

Copyright © 1999-2008, OW2 Consortium | contact | You have a difficulty, a problem ? Please report an issue using your OW2 forge account credentials