SAT4J presentation, next release, new mailing list, etc.

[Daniel Le Berre <leberre@xxxxxxxxxxxxxxxxxxx>]

1) I am presenting the SAT4J project to colleagues in Nice next week.

You can find enclosed the slides of my talk. Your comments are welcome.

2) We are planning a new release of SAT4J (1.7) in the next few days.
We still have a show stopper bug in the pseudo Boolean code. Please  
let me know if you want something special to be included in that  
release.
For a summary of new features, see
https://wiki.objectweb.org/sat4j/Wiki.jsp?page=WhatsNewInSAT4J1.7

3) I have created a new mailing list for cvs commits (sat4j- 
commits@xxxxxxxxxxxxx). It will be an easy way to check changes in  
the codebase. Committers are strongly encouraged to register to that  
new list.

Cheers,

        Daniel

Attachment: sat4joverview.pdf
Description: Adobe PDF document