by amit_goel, jim_grundy
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.
jim_grundy added jim_grundy to the Decision Procedure Toolkit project
jim_grundy created the Integer theries must not use rational cannonization artifact
jim_grundy created the Theory Solvers Must Eagerly Detect Conflicts artifact
dwheeler created the Syntax error on Why-generated text artifact
jim_grundy created the Annoucing DPT 1.1 forum thread
jim_grundy commented on the Document build options. artifact
jim_grundy commented on the Relax Dpll_core.add_clause requirement decision_level = 0 artifact
jim_grundy commented on the Trivial contradiction violates assertion. artifact
Copyright © 2009 SourceForge, Inc. All rights reserved. Terms of Use