Decision Procedure Toolkit

Add a Review
2 Downloads (This Week)
Last Update:
Download dpt2.0.tgz
Browse All Files


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 Web Site

Update Notifications

Write a Review

User Reviews

Be the first to post a review of Decision Procedure Toolkit!

Additional Project Details

Intended Audience


Programming Language

OCaml (Objective Caml)


Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.