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: Pseudo boolean solvers using either resolution or cutting planes inference. Contains an all-in-one sat4j-pb.jar package for easy testing and the org.sat4j.pb.jar OSGi package that depends on SAT4J core OSGi package. The pb2010submission archive contains the binary version of the solvers including a fix in the WBO to PBO discovered after the official release of SAT4J 2.2.0. It also contains the binary version of the Res//CP PB solver that runs both the resolution based and cutting planes based solvers in parallel.


Changes: Better management of restarts during the optimization process. Default PB solvers are now setup using the same default values as SAT solvers. Drastically reduced reading time for large binary product of literals in non linear pseudo boolean constraints.

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