The Decision Procedure Toolkit (DPT) is a system of cooperatingdecision procedures for answering satisfiability queries. The DPTimplementation in OCaml comprises a DPLL-style SAT solver withtheory-specific decision procedures.
Browse Files for Decision Procedure Toolkit
| File/Folder Name | Platform | Size | Date ↑ | Downloads | Notes/Subscribe |
|---|---|---|---|---|---|
| Newest Files | |||||
| dptBridgeGen-1.2.tar.gz | 21.2 KB | 2008-05-01 | 176 | Release Notes | |
| All Files | Subscribe | ||||
| dpt | 240.7 KB | 2008-04-08 | 678 | Subscribe Folder view | |
| dpt-1.0 | 28.1 KB | 2007-02-16 | 98 | Subscribe Folder view | |
| dpt-1.0.tar.gz | 28.1 KB | 2007-02-16 | 98 | Release Notes | |
| dpt-1.1 | 94.1 KB | 2007-10-01 | 267 | Subscribe Folder view | |
| dpt-1.1.tar.gz | 94.1 KB | 2007-10-01 | 267 | Release Notes | |
| dpt-1.2 | 118.5 KB | 2008-04-08 | 313 | Subscribe Folder view | |
| dpt-1.2.tar.gz | 118.5 KB | 2008-04-08 | 313 | Release Notes | |
| dptBridgeGen | 21.2 KB | 2008-05-01 | 176 | Subscribe Folder view | |
| dptBridgeGen-1.2 | 21.2 KB | 2008-05-01 | 176 | Subscribe Folder view | |
| dptBridgeGen-1.2.tar.gz | 21.2 KB | 2008-05-01 | 176 | Release Notes | |
About SourceForge
Develop Software
Community
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
