Port details on branch 2022Q2 |
- stp Decision Procedure for Bitvectors and Arrays
- 2.3.3_13,1 math =0 2.3.3_13,1Version of this port present on the latest quarterly branch.
- Maintainer: arrowd@FreeBSD.org
- Port Added: 2008-06-19 01:52:47
- Last Update: 2024-02-13 14:44:22
- Commit Hash: db61653
- License: MIT
- WWW:
- https://stp.github.io/
- 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, 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.
- ¦ ¦ ¦ ¦
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- To install the port:
- cd /usr/ports/math/stp/ && make install clean
- To add the package, run one of these commands:
- pkg install math/stp
- pkg install stp
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: stp
- Flavors: there is no flavor information for this port.
- distinfo:
- TIMESTAMP = 1563715848
SHA256 (stp-stp-2.3.3_GH0.tar.gz) = ea6115c0fc11312c797a4b7c4db8734afcfce4908d078f386616189e01b4fffa
SIZE (stp-stp-2.3.3_GH0.tar.gz) = 2577550
Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- bison : devel/bison
- cmake : devel/cmake-core
- ninja : devel/ninja
- python3.9 : lang/python39
- perl5>=5.36<5.37 : lang/perl5.36
- Test dependencies:
-
- python3.9 : lang/python39
- Runtime dependencies:
-
- python3.9 : lang/python39
- Library dependencies:
-
- libboost_program_options.so : devel/boost-libs
- libminisat.so : math/minisat
- libcryptominisat5.so : math/cryptominisat
- This port is required by:
- for Build
-
Deleted ports which required this port:
- for Libraries
-
- security/klee
Configuration Options:
- No options to configure
- Options name:
- math_stp
- USES:
- bison:build compiler:c++11-lang cmake perl5 python
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|