Advanced Search Tips

STP Constraint Solver

Submitted by on Jun 18 2014 Suggest Revision
By: Vijay Ganesh, Trevor Hansen
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.
Post comment
Cancel