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

Notes: Maxsat solver based on a translation into PBO. Contains an all-in-one sat4j-maxsat.jar package for easy testing. Provides org.sat4j.maxsat OSGi package that requires org.sat4j.core and org.sat4j.pb OSGi packages.


Changes: Improved management of restarts during optimization. Includes improved PBO solvers.

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