5 lines
240 B
Plaintext
5 lines
240 B
Plaintext
|
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, intelligent
|
||
|
|
fuzzers and model checkers.
|