| 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. |