Allow easy control and information retrieval while the solver is running
There are many cases in which the user would like to control the SAT solver using the API. While many things are currently possible, it is required to understand the internals of Sat4j. Here the idea would be to allow the user to communicate using usual Dimacs format with the solver.