New methods available in public API

[Daniel Le Berre <leberre@xxxxxxxxxxxxxxxxxxx>]

I just added two new methods in the public API (feature requests from  
Emina Torlak working on the KodKod project @ MIT).

You can now find in IProblem a method

boolean model(int)

that allows to get the truth value of a specific variable in the  
model found when the instance is satisfiable.

In ISolver, you can find a method

Map<String,Number> getStat()

to obtain an easy access to statistics provided by the solvers.

See the javadoc at
www.sat4j.org/doc/
for details.

Those methods will ship with release 1.6.

For those interested in trying those new features:
http://www.sat4j.org/sat4j-nightly.jar

Cheers,

        Daniel