decision procedure toolkit to run in windows online over linux online

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

Quick description about decision procedure toolkit to run in windows online over linux online:

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).

.