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

Notes: This version of SAT4J adds explanation support in case of unsatisfiability based on a simple version of the QuickXplain algorithm. Update: the archive was updated on Feb 28 to improve the explanation running time.


Changes: As a consequence of the explanation support, the API has changed between 2.0 and 2.1. Some cleanup has been done: some unused features have been removed (e.g. binary and ternary clauses dedicated data structures).

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