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 RC3

Notes: Bug fix release regarding the correctness of the solver: please update if you are using a previous RC1 or RC2 2.1 release.


Changes: More efficient wcnf reader: the solver was sometimes taking longer to read a problem than to solve it!!! Fixed a bug introduced when BigInteger support was introduced for the weight of constraints: the binary weighted constraints were not properly read. In such cases, the answer of the solver is likely incorrect!

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