decision procedure toolkit

We have hosted the application decision procedure toolkit in order to run this application in our online workstations with Wine or directly.

Quick description about decision procedure toolkit:

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.

Audience: Science/Research.

Programming Language: OCaml (Objective Caml).
Categories: