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: 2009-05-27 11:10
Summary: SAT4J 2.1 released!

Whats new in SAT4J 2.1?

Explanation support:
http://www.sat4j.org/maven21/org.sat4j.core/xref-test/org/sat4j/TestQuickExplain.html

Programmatic way to get Dimacs variable free id from the solver:
http://www.sat4j.org/maven21/org.sat4j.core/xref-test/org/sat4j/TestFreeId.html

Possibility to iterate over optimal solutions:
http://www.sat4j.org/maven21/org.sat4j.core/xref-test/org/sat4j/minisat/core/Bug275101.html

Search Listeners can now be hooked to an ISolver:
http://www.sat4j.org/maven21/org.sat4j.core/apidocs/org/sat4j/specs/package-summary.html

Search Listeners can display user defined dimacs to domain object mapping:
http://www.sat4j.org/maven21/org.sat4j.core/apidocs/org/sat4j/minisat/core/TextOutputListener.html#TextOutputListener(java.util.Map)
http://www.sat4j.org/maven21/org.sat4j.core/apidocs/org/sat4j/minisat/core/DotSearchListener.html#DotSearchListener(java.lang.String,%20java.util.Map)

Easy domain object constraints creation:
http://www.sat4j.org/maven21/org.sat4j.pb/xref-test/org/sat4j/pb/TestDependencyHelper.html

Improved MAXSAT and Weighted MAXSAT reader thanks to a custom EfficientScanner class:
http://www.sat4j.org/maven21/org.sat4j.core/xref/org/sat4j/reader/EfficientScanner.html

Allow BigInteger in weighted clauses:
http://www.sat4j.org/maven21/org.sat4j.maxsat/xref/org/sat4j/maxsat/WeightedMaxSatDecorator.html#176

Bug fixes:
[ #312655 ] ArrayIndexOutOfBoundsException
http://forge.ow2.org/tracker/index.php?func=detail&aid=312655&group_id=228&atid=350289

Latest News
Talend Open Studio for Data Integration 5.6.0M2 available
    Patrick Coffre - 2014-07-07 18:55
LemonLDAP::NG 1.4.0 is out!
    Clément OUDOT - 2014-06-30 17:14
Talend Open Studio for Data Integration 5.5.1 available
    Patrick Coffre - 2014-06-25 11:19
Release WebLab Bundle 2.0.2
    Arnaud Saval - 2014-06-25 11:18
XWiki 6.1 Release Candidate 1 Released
    Thomas Mortagne - 2014-06-24 15:57

Discussion Forums: SAT4J 2.1 released!

Start New Thread Start New Thread | Admin

 

Topic Topic Starter Replies Last Post
   

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