Improve project documentation (including web site)
Sat4j is mainly a research project, used to try our ideas around SAT. We start to receive more and more calls for help in the forums, which is nice because it shows that Sat4j is used, but it is also a sign that the documentation is not good enough.
The tools we are using have evolved recently. Jira for instance should appear prominently on the web site while it does not, so we need to redirect users there.
We are going to design a new web site for next year (2012). Please use this bug report to tell us what you would like to see there.