Decision Procedure Toolkit
Description
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.
Categories
License
Update Notifications
User Ratings
User Reviews
Be the first to post a review of Decision Procedure Toolkit!