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 23:25:14 GMT | 158 | Release Notes | |
| All Files | Subscribe | ||||
| dptBridgeGen | 21.2 KB | 2008-05-01 23:25:14 GMT | Subscribe Folder view | ||
| dptBridgeGen-1.2 | 21.2 KB | 2008-05-01 23:25:14 GMT | Subscribe Folder view | ||
| dptBridgeGen-1.2.tar.gz | 21.2 KB | 2008-05-01 23:25:14 GMT | 158 | Release Notes | |
| dpt | 240.7 KB | 2008-04-08 23:42:43 GMT | Subscribe Folder view | ||
| dpt-1.2 | 118.5 KB | 2008-04-08 23:42:43 GMT | Subscribe Folder view | ||
| dpt-1.2.tar.gz | 118.5 KB | 2008-04-08 23:42:43 GMT | 300 | Release Notes | |
| dpt-1.1 | 94.1 KB | 2007-10-01 23:33:04 GMT | Subscribe Folder view | ||
| dpt-1.1.tar.gz | 94.1 KB | 2007-10-01 23:33:04 GMT | 261 | Release Notes | |
| dpt-1.0 | 28.1 KB | 2007-02-16 18:31:09 GMT | Subscribe Folder view | ||
| dpt-1.0.tar.gz | 28.1 KB | 2007-02-16 18:31:09 GMT | 90 | Release Notes | |
About SourceForge
Develop Software
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
