---
name: stp
version: 1407
origin: math/stp
comment: A Decision Procedure for Bitvectors and Arrays
arch: freebsd:9:x86:64
www: http://people.csail.mit.edu/vganesh/STP_files/stp.html
maintainer: 6yearold@gmail.com
prefix: /usr/local
licenselogic: single
licenses: [MIT]
flatsize: 11411674
desc: "STP is a constraint solver (also referred to as a decision procedure or\nautomated
  prover) aimed at solving constraints generated by program analysis\ntools, theorem
  provers, automated bug finders, intelligent fuzzers and model\ncheckers. STP has
  been used in many research projects at Stanford, Berkeley,\nMIT, CMU and other universities.
  It is also being used at many companies such\nas NVIDIA, some startup companies,
  and by certain government agencies.\n\nThe input to STP are formulas over the theory
  of bit-vectors and arrays (This\ntheory captures most expressions from languages
  like C/C++/Java and Verilog),\nand the output of STP is a single bit of information
  that indicates whether\nthe formula is satisfiable or not. If the input is satisfiable,
  then it also\ngenerates a variable assignment to satisfy the input formula.\n\nWWW:\thttp://people.csail.mit.edu/vganesh/STP_files/stp.html\n"
categories: [math]
files:
  /usr/local/bin/stp: 0ee2b3ebd4bfa3c3aa24aa03d5acec727476ccd2ea81a3d95da30cbf8cf22953
  /usr/local/include/stp/c_interface.h: 0cd663e18418461f62bd3d5f52438451b5aa2559045f77161d63683df40a7450
  /usr/local/include/stp/fdstream.h: 4374330c6306b4475a8e53c9f1042fe2f9fdb135dc84585224f4c51bcc54fb93
  /usr/local/lib/libstp.a: a69adef085fcc55ecf4a0ccd40052a9daa487046997a880dd4a86a9a2d8d98b4
  /usr/local/share/licenses/stp-1407/LICENSE: 8a9617637463b68fc0584861100926c56e2af396c013024314c285549b9c9642
  /usr/local/share/licenses/stp-1407/MIT: 3507caa9b70264bdbe49eff56f570238ee9294ead5d32982e642c249e3053bd4
  /usr/local/share/licenses/stp-1407/catalog.mk: 9fb30e5c1b35c37c56b0c82045843f5f57dbc481644d1f8dc0f510dae85106cd
directories:
  /usr/local/share/licenses/stp-1407/: n
  /usr/local/share/licenses/: y
  /usr/local/include/stp/: n
scripts:
  post-install: |
    cd /usr/local
  pre-deinstall: |
    cd /usr/local
  post-deinstall: |
    cd /usr/local
