Advanced - Powered by Google


   
Log In
New Account
  
 
Home
My Page
Project Tree
Project Openings
SAT4J
          
 
 
Summary
Forums
Lists
Tasks
Docs
Surveys
News
CVS
Files
                  
 
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: http://jira.ow2.org/browse/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 6.2 Released
    Eduard Moraru - 2014-09-19 00:32
SpagoBI 5.0 revolution !
    Grazia Cazzin - 2014-09-17 12:24
XWiki 6.2 Release Candidate 1 Released
    Eduard Moraru - 2014-09-10 10:16
Talend Open Studio for Data Integration 5.6.0M4 available
    Patrick Coffre - 2014-09-05 23:36
Talend Open Studio for Data Integration 5.6.0M3 available
    Patrick Coffre - 2014-09-04 10:22

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="http://bamboo.ow2.org/" target="_new">http://bamboo.ow2.org/</a>

   

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