third_party/stp/README.chromium

   1 Name: STP Constraint Solver
   2 Short Name: stp
   3 URL: https://sites.google.com/site/stpfastprover
   4 Version: 0
   5 Date: 2014-11-14
   6 Revision: fc94a599207752ab4d64048204f0c88494811b62
   7 License: MIT, LGPL
   8 License File: LICENSE
   9 Security Critical: no
  10
  11 Description:
  12 STP is a constraint solver (also referred to as a decision procedure
  13 or automated prover) aimed at solving constraints generated by program
  14 analysis tools, theorem provers, automated bug finders, biology,
  15 cryptography, intelligent fuzzers and model checkers.
  16
  17 Local Modifications:
  18 None.