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.
Decision Procedure Toolkit is a free software application from the Other subcategory, part of the Development category.
The app is currently available in English and it was last updated on 2010-04-26. The program can be installed on OS Portable (Source code to work with many OS platforms).
Decision Procedure Toolkit (version 2.0) is available for download from our website.
Just click the green Download button above to start. Until now the program was downloaded 19 times.
We already checked that the download link to be safe, however for your own protection we recommend that you scan the downloaded software with your antivirus.