Summary
STP is a constraint solver (or SMT solver) aimed at solving constraints of bitvectors and arrays. These types of constraints can be generated by program analysis tools, theorem provers, automated bug finders, cryptographic attack tools, intelligent fuzzers, model checkers, and by many other applications.
Versions
v2.3.3-r3 :: 0/2.3.3 :: gentoo
- Modified
- License
- GPL-2+ MIT
- Keywords
- ~amd64 ~x86
- USE flags
- cryptominisat debug python test
USE flags
General
- cryptominisat
- Enable sci-mathematics/cryptominisat support
- debug
- Enable extra debug codepaths, like asserts and extra output. If you want to get meaningful backtraces see https://wiki.gentoo.org/wiki/Project:Quality_Assurance/Backtraces
- python
- Enable building the Python interface
- test
- Enable dependencies and/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)
python_single_target
- python3_10
- Build for Python 3.10 only
- python3_11
- Build for Python 3.11 only
Dependencies
dev-db / sqlite : SQL database engine
dev-lang / python : An interpreted, interactive, object-oriented programming language
dev-libs / boost : Boost Libraries for C++
dev-libs / icu : International Components for Unicode
sci-mathematics / cryptominisat : Advanced SAT solver with C++ and command-line interfaces
sci-mathematics / minisat : Small yet efficient SAT solver with reference paper
Runtime Dependencies
dev-db / sqlite : SQL database engine
dev-lang / python : An interpreted, interactive, object-oriented programming language
dev-libs / boost : Boost Libraries for C++
dev-libs / icu : International Components for Unicode
sci-mathematics / cryptominisat : Advanced SAT solver with C++ and command-line interfaces
sci-mathematics / minisat : Small yet efficient SAT solver with reference paper
Bugs
Change logs
- Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/stp: update PYTHON_COMPAT; add help2man to BDEPEND
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/stp: patch - include cstdint
Closes: https://bugs.gentoo.org/895096 Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
sci-mathematics/stp: rename patches
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - David Seifert · gentoo
*/*: remove py3.8 from PYTHON_COMPAT
Signed-off-by: David Seifert <soap@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/stp: do not run C API tests
Closes: https://bugs.gentoo.org/879325 Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/stp: compile python modules
Closes: https://bugs.gentoo.org/864124 Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/stp: filter LTO (ODR)
Closes: https://bugs.gentoo.org/863263 Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/stp: multiple fixes
- add missing test submodules - add optional cryptominisat dependency (USE=dependency) - add the Gentoo Mathematics Project to co-maintainers - change python to optional dependency (USE=python) - install PDF documentation - patch CMakeLists.txt to fix CFLAGS - patch stp.py to fix python module Closes: https://bugs.gentoo.org/759457 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
sci-mathematics/stp: dev-libs -> sci-mathematics
Signed-off-by: Maciej Barć <xgqt@gentoo.org>