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.
License
Apache License V2.0Follow Decision Procedure Toolkit
You Might Also Like
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of Decision Procedure Toolkit!