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: 2012-02-19 15:38
Summary: Sat4j PB and MaxSat 2.3.1 no longer available

When releasing Sat4j 2.3.1, we introduced a fix for he long standing bug SAT-8:

Unfortunately, that fix broke some of our functional tests (i.e. made Sat4j PB incorrect). We did not notice it because we ran only a subset of our functional tests for that last minute addition to the release (the whole functional tests take two days to run for Sat4j PB).

We noticed the bug and found the origin of that bug some weeks ago. The issue was limited to a few similar test cases, so we were not really worried about the quality of the 2.3.1 release.

However, we received yesterday the first report from a user that Sat4j PB was reporting an incorrect answer. So we decided to stop distributing Sat4j PB 2.3.1. Since Sat4j Maxsat is depending on Sat4j PB, we also stopped distributing it.

Release 2.3.2 is on its way, and should hit the forge by mid March.

In the meanwhile, we strongly encourage Sat4j PB and MAXSAT users to switch back to release 2.3.0.

We are very sorry for the inconvenience.

Daniel Le Berre

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 PB and MaxSat 2.3.1 no longer available

Start New Thread Start New Thread | Admin


Topic Topic Starter Replies Last Post
 Integration continueStefane Fermigier02012-03-05 11:23

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