Advanced - Powered by Google


   
Log In
New Account
  

The services provided by this GForge instance will stop on Jun/30. Please have a look at the information notice for more information

 
Home
My Page
Project Tree
Project Openings
SAT4J
          
 
 
Summary
Forums
Lists
Tasks
Docs
Surveys
News
CVS
Files
                  
 
Posted By: Daniel Le Berre
Date: 2011-03-29 11:41
Summary: Sat4j 2.3.0 released

The new release mainly cleans up the code of release 2.2 and provides the new Minimally Unsatisfiable Subset solver submitted to the SAT 2011 competition and the possibility for the MAXSAT solver to be used as an incomplete solver for the MAXSAT Evaluation 2011.

Since January 2011, issues and feature requests are managed using OW2 instance of JIRA: http://jira.ow2.org/browse/SAT

Changelog:

** Bug
* [SAT-5] - Global timeout not properly taken into account when optimizing solutions
* [SAT-9] - Trivial inconsistency in cardinality constraints not properly handled

** Improvement
* [SAT-4] - Provide a representation of pseudo boolean constraints with primitive type long instead of BigInteger

** New Feature
* [SAT-7] - Allow the addition of soft cardinality constraints


Latest News
Joram 5.15 is released
    Andre Freyssinet - 2018-05-04 10:58
Joram 5.15 is released
    Andre Freyssinet - 2018-05-04 10:58
ASM 6.1 released
    Eric Bruneton - 2018-03-11 10:25
XWiki Release announcement moved
    Vincent Massol - 2018-02-26 16:34
ASM 6.1-beta released
    Eric Bruneton - 2018-01-06 15:03

Discussion Forums: Sat4j 2.3.0 released

Start New Thread Start New Thread | Admin

 

Topic Topic Starter Replies Last Post
   

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