Advanced - Powered by Google

Log In
New Account
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
Knowage 6.0 available now!
    Grazia Cazzin - 2017-06-20 13:14
XWiki 9.1 Released
    Vincent Massol - 2017-02-27 23:24
XWiki 9.1 Release Candidate 1 Released
    Thomas Mortagne - 2017-02-21 16:38
XWiki 7.4.6 Released
    Ecaterina Moraru (Valica) - 2017-02-10 15:40
XWiki 9.0 Released
    Eduard Moraru - 2017-01-31 19:13

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 | You have a difficulty, a problem ? Please report an issue using your OW2 forge account credentials