Simple Theorem Prover, an efficient SMT solver for bitvectors
Screenshots
-
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
-
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
Reverse Dependencies
Reverse dependancies are sometimes conditional based on your USE flags, Ebuild version and sometimes other packages. please keep this in mind.
