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

My Page
Project Tree
Project Openings
Posted By: Daniel Le Berre
Date: 2009-04-14 08:25
Summary: SAT4J 2.1 RC3 Released!

The SAT4J team is happy to announce a new release candidate of the SAT4J library.

A specific effort has been done on improving optimization problem solvers in pseudo boolean optimization and maxsat.

- Optimization constraints are now removed from the solver when they are subsumed.
- The instance reader for maxsat has been improved.

The DependencyHelper class has also been improved to allow third party users to benefit from SAT technology without worrying about the details.

SAT4J MAXSAT users are strongly encouraged to update to that release if they are using either 2.1 RC1 or 2.1 RC2 releases: we identified a bug in the management of weighted binary clauses causing potential correctness problems.

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.1 RC3 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