Advanced - Powered by Google

Log In
New Account
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
XWiki 8.1 Released
    Marius Dumitru Florea - 2016-05-24 16:36
hammr is out!
    Alexandre Lefebvre - 2016-05-12 10:40
XWiki 8.1 Release Candidate 1 Released
    Ecaterina Moraru (Valica) - 2016-05-09 13:51
LemonLDAP::NG 1.9.2 is out!
    Clément OUDOT - 2016-05-01 22:38
LemonLDAP::NG 1.4.8 is out!
    Clément OUDOT - 2016-04-28 14:14

Discussion Forums: Sat4j PB and MaxSat 2.3.1 no longer available

Start New Thread Start New Thread | Admin


By: Stefane Fermigier
 Integration continue [ reply ]  
2012-03-05 11:23
Pourquoi ne pas mette la suite de tests sous integration continue ? Cf. <a href="" target="_new"></a>


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