stp - Decision Procedure for Bitvectors and Arrays

Property Value
Distribution FreeBSD 11
Repository FreeBSD Ports Latest amd64
Package filename stp-2.3.3_2,1.txz
Package name stp
Package version 2.3.3
Package release 2,1
Package architecture amd64
Package type txz
Category math
License MIT
Download size 951.67 KB
Installed size 3.10 MB
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. STP has been used in many research projects at Stanford, Berkeley,
MIT, CMU and other universities. It is also being used at many companies such
as NVIDIA, some startup companies, and by certain government agencies.
The input to STP are formulas over the theory of bit-vectors and arrays (This
theory captures most expressions from languages like C/C++/Java and Verilog),
and the output of STP is a single bit of information that indicates whether
the formula is satisfiable or not. If the input is satisfiable, then it also
generates a variable assignment to satisfy the input formula.


Package Version Architecture Repository
stp-2.3.3_2,1.txz 2.3.3 i386 FreeBSD Ports Latest
stp-2.3.3_2,1.txz 2.3.3 i386 FreeBSD Ports Quarterly
stp-2.3.3_2,1.txz 2.3.3 amd64 FreeBSD Ports Quarterly
stp - - -


Name Value
boost-libs = 1.71.0
cryptominisat = 5.6.8_3 - - -
minisat = 2.2.1_2
python36 = 3.6.9


Name Value -


Type URL
Binary Package stp-2.3.3_2,1.txz
Source Package math/stp

Install Howto

Install stp txz package:

# pkg install stp

See Also

Package Description
str-0.9.12_1.txz Generic String Library
stransball2-1.5_10.txz Sequel to Transball and Transball 2 THRUST-type games
stratagus-2.4.1_6.txz Free cross-platform real-time strategy gaming engine
stream-5.10.txz Synthetic benchmark program that measures sustainable memory bandwidth
streamtranscoder-1.2.8_13.txz Transcode and stream audio to a SHOUTcast/Icecast/Peercast server
stress-1.0.4_1.txz Tool to impose load on and stress test Unix-like systems
stress-ng-0.10.06.txz Stress test benchmarks
string-machine-lv2-0.1.0_2.txz Digital model of electronic string ensemble instrument
stringencoders-3.10.3_3.txz Collection of high performance C-string transformations
stringtie-1.3.4.d.txz Transcript assembly and quantification for RNA-seq
strobe-1.06_1.txz Fast scatter/gather TCP port scanner
strongswan-5.8.1.txz Open Source IKEv2 IPsec-based VPN solution
stud-0.4_1.txz Scalable TLS Unwrapping Daemon
stumpwm-18.11.2_7.txz Tiling, keyboard driven Window Manager written in Common Lisp
stund-0.96.txz Simple STUN (RFC 3489) server and client