Search Portage & Overlays:
Newest
News
Repository news
GLSAs
Browse
USE Flags
Overlays
More...
sci-mathematics
/stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
Screenshots
https://stp.github.io/
https://github.com/stp/stp/
stp-2.3.4
~amd64 ~x86
cryptominisat debug +python test python_single_target_python3_10 python_single_target_python3_11 python_single_target_python3_12 python_single_target_python3_13
View
Download
Browse
License: GPL-2+ MIT
Overlay:
gentoo
stp-2.3.3-r3
~amd64 ~x86
cryptominisat debug +python test python_single_target_python3_10 python_single_target_python3_11 python_single_target_python3_12
View
Download
Browse
License: GPL-2+ MIT
Overlay:
gentoo
ChangeLog
USE Flags
Dependencies
Reverse Deps
Related Bugs
View 
Download 
Browse License: GPL-2+ MIT
