STP Constraint Solver
From: Stanford University
Resource Type:
Code
License:
Other/Unknown
Language:
Data Format:
Description
STP (Simple Theorem Prover): a constraint solver/decision procedure that accepts formulas or constraints generated by program analysis/test generation tools.
Categorized in: Representation and Reasoning | Constraint-Based Reasoning
Post comment
Cancel