For SAT4J developers.


   
§