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
XWiki 6.3 Milestone 1 Released
    Thomas Mortagne - 2014-10-17 12:25
XWiki 5.4.6 Released
    Guillaume Delhumeau - 2014-10-16 17:18
XWiki 6.2.2 Released
    Vincent Massol - 2014-10-15 16:34
XWiki 6.2.1 Released
    Vincent Massol - 2014-09-30 16:36
Talend Open Studio for Data Integration 5.6.0RC1 available
    Patrick Coffre - 2014-09-26 19:56

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