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: MAXSAT 2011 submission

Notes: Solver submitted to the 2011 maxsat evaluation.


Changes: That version allows to use SAT4J MAXSAT as an incomplete solver, providing an upper bound instead of the optimal solution. java -jar sat4j-maxsat.jar -i -t280 file.[w]cnf for instance will provide the best solution found within 280 seconds.

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