blob: 46123223fa2ab1bcf2e05da0681d024b0e0fbb28 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
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.
|
