Credits
=======

This SAT solver was written by Jerome Vouillon
(Jerome.Vouillon@pps.jussieu.fr).
and extracted from his program "debcheck".

The API was improved by Berke Durak.
