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.0.5

Notes: Fixed a few issues when dealing with MAXSAT files with weighted unit clauses. Note that release 2.0.5 does not support BigInteger as weights. This is fixed in HEAD, and will be available in release 2.1 of SAT4J.


Changes:

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