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.
Download Decision Procedure Toolkit
Project Admins:
amit_goel, jim_grundy
Operating System:
OS Portable (Source code to work with many OS platforms)
License:
Apache License V2.0
Category:
Electronic Design Automation (EDA), Mathematics
Find Support
Buy expert services from Sourceforge.net Marketplace. Support from the people who know.
Latest News
(No news at the current time)
Public Areas
-
Bugs
: (0 open / 1 total)
Bug Tracking System -
Support Requests
: (0 open / 0 total)
Tech Support Tracking System -
Patches
: (0 open / 0 total)
Patch Tracking System -
Feature Requests
: (0 open / 2 total)
Feature Request Tracking System - Public Forums : (3 messages in 2 forums)
- Mailing Lists : (1 total)
-
CVS Repository
: (0 commits,
0 reads)
Browse CVS
Most Active Projects in Category
Project Details
-
Project Admins :
amit_goel
, jim_grundy - Developers : 3
- Development Status : 5 - Production/Stable
- Intended Audience : Science/Research
- License : Apache License V2.0
- Operating System : OS Portable (Source code to work with many OS platforms)
- Programming Language : OCaml (Objective Caml)
- Topic : Electronic Design Automation (EDA), Mathematics
- Project UNIX name : dpt
- Registered : 2007-02-16 03:05
- Activity Percentile (last week) : 98.18
- View project activity statistics
- View list of RSS feeds available for this project