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.
Release Date:
2008-05-01
Topics:
License:
Ratings and Reviews
Be the first to post a text review of Decision Procedure Toolkit. Rate and review a project by clicking thumbs up or thumbs down in the right column.
Project Feed
-
Project Information Updated
-
Tracker artifact added
jim_grundy created the Integer theries must not use rational cannonization artifact -
Tracker artifact added
jim_grundy created the Theory Solvers Must Eagerly Detect Conflicts artifact -
Tracker artifact added
dwheeler created the Syntax error on Why-generated text artifact -
File released: /dptBridgeGen/dptBridgeGen-1.2/dptBridgeGen-1.2.tar.gz
-
dptBridgeGen dptBridgeGen-1.2 file released: dptBridgeGen-1.2.tar.gz
-
File released: /dpt/dpt-1.2/dpt-1.2.tar.gz
-
dpt dpt-1.2 file released: dpt-1.2.tar.gz
-
Forum thread added
jim_grundy created the Annoucing DPT 1.1 forum thread -
Tracker comment added
jim_grundy commented on the Document build options. artifact
Rate and Review
Be the first person to add a text review.
Related Projects
Decision Procedure Toolkit Actions
About SourceForge
Develop Software
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
