Name: STP Constraint Solver
Short Name: stp
URL: https://sites.google.com/site/stpfastprover
Version: 0
Date: 2014-11-14
Revision: fc94a599207752ab4d64048204f0c88494811b62
License: MIT, LGPL
License File: LICENSE
Security Critical: no

Description:
STP is a constraint solver (also referred to as a decision procedure
or automated prover) aimed at solving constraints generated by program
analysis tools, theorem provers, automated bug finders, biology,
cryptography, intelligent fuzzers and model checkers.

Local Modifications:
None.