[sat4j-dev] SAT4J 2.0 RC2 available!

[Daniel Le Berre <leberre@xxxxxxxxxxxxxxxxxxx>]

A new release candidate of SAT4J 2.0 is now available.

The new release is available as a single zip file containing 5 jar files:
+ sat4j-core.jar
+ sat4j-csp.jar
+ sat4j-maxsat.jar
+ sat4j-pb.jar
+ sat4j-sat.jar

plus third party libraries used by sat4j:
+ commons-beanutils.jar
+ commons-cli.jar
+ commons-logging.jar
+ cspparserxml.jar
+ js.jar

Those files are separate bundles, to be embedded into Java apps.
Note that the archive no longer contain duplicated code, i.e. the code 
in sat4j-core is no longer available in sat4j-pb, so the sat4j-core 
archive must be in the same directory as sat4j-pb for sat4j-pb command 
line interface to work. As a consequence, it is necessary to have both 
sat4j-core and sat4j-pb in the classpath to embed pseudo boolean 
capabilities in a Java program. The same hold for third party libraries.

The dependencies are the following:
* sat4j-core has no dependencies
* sat4j-pb requires sat4j-core
* sat4j-csp requires sat4j-core, js, cspparserxml
* sat4j-maxsat requires sat4j-pb, commons-cli
* sat4j-sat requires sat4j-core, commons-beanutils, commons-cli, 
commons-logging

Note that the RC2 release is now java 1.4 compliant: it has been 
compiled using the jsr14 target.

Happy new year to everybody!

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