[Bug 693831] Review Request: ocaml-dpt - SAT solver