SAT4J 1.7 released!

[Daniel Le Berre <leberre@xxxxxxxxxxxxxxxxxxx>]

Dear all,

I just released version 1.7 of SAT4J.

Among the new features:

   * New SAT solver presented to the SAT Race 2006 including the
     expensive reason simplification developed in MiniSAT 1.14
     (MiniLearningHeapExpSimp)
   * New command line configuration of solvers
   * Optional more robust (but less efficient) CNF input (allows to
     include comments between constraints): jar -jar sat4j.jar
     EZCNF:/my/dimacs/file.cnf
   * Basic support for And Inverter Graph format
     <http://fmv.jku.at/aiger/>, in both ASCII (aag) and binary (aig)
     form.
   * Improved and simplified Pseudo Boolean code.
   * Fine code tuning provided by Dieter von Holten: 10% speedup in
     average.
   * Memory management: constraints are removed only when memory is
     exhausted.
   * Bug fixing in the optimization framework.
   * Improved code for the CSP to SAT conversion.
   * Improved Javadoc.
   * Rapid Restart Strategy, as in RSAT and picosat.
     <http://www.satcompetition.org/gorydetails/?p=3>
   * Improved solvers for pseudo boolean constraints
   * Use now Java generics to prevent user to setup a solver with
     incompatible components (i.e. a heuristics that needs information
     available only from a specific representation of binary clauses
     with a usual clause representation for instance).

For more details, see 
https://wiki.objectweb.org/sat4j/Wiki.jsp?page=WhatsNewInSAT4J1.7

The release is available in 3 archives:
* Full archive (sat4j-1.7.jar, 1.3MB)  with all needed Java required 
libraries, including the Rhino Javascript interpreter needed by the CSP 
to SAT translator.
* SAT friendly archive (sat4j-1.7-nojs.jar, 600 KB) without the Rhino 
library. It means that the CSP to SAT translator won't work out of the 
box (adding the rhino library to Java classpath fix the problem). This 
is the best option for people willing to have a simple way to try SAT4J 
for SAT solving.
* Integrators friendly archive (sat4j-1.7-nojs-nocommons.jar, 348 KB) 
without the rhino nor the jakarta commons libraries needed by SAT4J 
(cli,beanutils and logging).

Have fun!

            Daniel

--
          Daniel Le Berre mailto:leberre@xxxxxxxxxxxxxxxxxxx
          MCF,    CRIL-CNRS FRE 2499,    Universite d'Artois
          http://www.cril.univ-artois.fr/~leberre