8 March 2010

3.6. SAT4J LICENSE