OCaML bindings for the MiniSat satisfiability solver.