Spec URL: http://jjames.fedorapeople.org/ocaml-dpt/ocaml-dpt.spec
SRPM URL: http://jjames.fedorapeople.org/ocaml-dpt/ocaml-dpt-2.0-1.fc14.src.rpm
The Decision Procedure Toolkit (DPT) is a system of cooperating decision procedures for answering satisfiability queries. The DPT implementation in OCaml comprises a DPLL-style SAT solver with theory-specific decision procedures.
This package is a prerequisite to some C code analysis tools I am trying to package.
It looks like ocamldsort is broken in Fedora 15 and Rawhide at the moment. This package should still build on Fedora 14, but will have to wait on an ocamldsort update otherwise.
The ocamldsort problem is fixed. New URLs:
This package no longer builds with the Ocaml version in Rawhide, and I don't know why. Furthermore, there are faster SAT solvers out there. I think Isabelle users will be able to live without this one. I am withdrawing this review request.