The devel/stp port
stp-2.2.0p6 – decision procedure for bit-vectors and arrays (cvsweb github mirror)
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.WWW: https://stp.github.io/
Maintainer
The OpenBSD ports mailing-list
Only for arches
aarch64 alpha amd64 arm hppa i386 mips64 mips64el powerpc powerpc64 riscv64 sparc64
Categories
Library dependencies
Build dependencies
Files
- /usr/local/bin/stp
- /usr/local/bin/stp_simple
- /usr/local/include/stp/
- /usr/local/include/stp/c_interface.h
- /usr/local/lib/cmake/
- /usr/local/lib/cmake/STP/
- /usr/local/lib/cmake/STP/STPConfig.cmake
- /usr/local/lib/cmake/STP/STPConfigVersion.cmake
- /usr/local/lib/cmake/STP/STPTargets-release.cmake
- /usr/local/lib/cmake/STP/STPTargets.cmake
- /usr/local/lib/libstp.so.0.0
- /usr/local/lib/python3.11/
- /usr/local/lib/python3.11/site-packages/
- /usr/local/lib/python3.11/site-packages/stp/
- /usr/local/lib/python3.11/site-packages/stp/__init__.py
- /usr/local/lib/python3.11/site-packages/stp/__pycache__/
- /usr/local/lib/python3.11/site-packages/stp/__pycache__/__init__.cpython-311.opt-1.pyc
- /usr/local/lib/python3.11/site-packages/stp/__pycache__/__init__.cpython-311.pyc
- /usr/local/lib/python3.11/site-packages/stp/__pycache__/library_path.cpython-311.opt-1.pyc
- /usr/local/lib/python3.11/site-packages/stp/__pycache__/library_path.cpython-311.pyc
- /usr/local/lib/python3.11/site-packages/stp/__pycache__/stp.cpython-311.opt-1.pyc
- /usr/local/lib/python3.11/site-packages/stp/__pycache__/stp.cpython-311.pyc
- /usr/local/lib/python3.11/site-packages/stp/library_path.py
- /usr/local/lib/python3.11/site-packages/stp/stp.py
- /usr/local/share/doc/stp/
- /usr/local/share/doc/stp/EXE-STP-TISSEC-Journal-2007.pdf
- /usr/local/share/doc/stp/EXE-STP.pdf
- /usr/local/share/doc/stp/vijayganesh-stp-paper.pdf