Decision Procedure Toolkit download

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.

Project Activity

See All Activity >

License

Apache License V2.0

Follow Decision Procedure Toolkit

Decision Procedure Toolkit Web Site

Other Useful Business Software

Paessler: Easy to Use With Enterprise Power. Free Trial

A low-code dashboard makes monitoring intuitive for any admin, while scripting and custom sensors give experts full control.

You shouldn't have to choose between a monitoring tool that's easy to use and one that's powerful enough for a complex environment. PRTG's low-code interface lets any admin build dashboards, set alerts and monitor devices without scripting, while custom sensors and full API access are there when your team needs deeper control. One platform, no compromise. Download a free 30-day trial now.

Get Free Download

Rate This Project

User Reviews

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

Additional Project Details

Intended Audience

Science/Research

Programming Language

OCaml (Objective Caml)

Related Categories

OCaml (Objective Caml) Electronic Design Automation (EDA) Software, OCaml (Objective Caml) Mathematics Software

Registered

2007-02-16

Similar Business Software

Altium Develop

Altium Develop is a collaborative electronics product development platform that connects requirements management, PCB design, engineering collaboration, supply chain visibility, and manufacturing workflows in a single environment. Built on Altium Designer®, Altium 365®, and Requirements...

See Software
QBench

QBench is a cloud-based Laboratory Information Management System (LIMS) designed to help laboratories manage samples, workflows, data, inventory, reporting, quality processes, and client interactions in one platform. Labs use QBench to manage laboratory operations from order placement and...

See Software
SAP S/4HANA Cloud Public Edition

SAP Cloud ERP is the premier ERP solution for growth-focused organizations. Seamlessly integrating AI, and predictive analytics, it empowers businesses to digitally transform and streamline processes end to end. Leveraging built-in industry best practices, SAP Cloud ERP accelerates...

See Software
Lockbox LIMS

A sample tracking, test result capture, and inventory management cloud LIMS for life science research, biotech/NGS, and industrial QC labs. Includes regulatory support for CLIA, HIPAA, Part 11, and ISO 17025. Nothing is more critical to a lab’s success than the quality, security, and...

See Software
Qualio

Qualio is the leading quality and compliance platform built exclusively for emerging life sciences companies. MedTech, pharma, biotech, and diagnostics teams use Qualio to standardize quality processes, connect them to regulatory obligations, and gain real-time visibility into compliance...

See Software
OrCAD X

OrCAD® X is a unified PCB design software platform that offers significant improvements in ease of use, performance, automation, data management, and collaboration. Our cloud-enabled product suite contains applications for schematic, simulation, and PCB layout. OrCAD X Capture is one of the most...

See Software

Report inappropriate content