gentoo.mahdi.cz
sci-mathematics
:stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
stp-2.3.3-r3
GPL-2+ MIT
download
~amd64 ~x86
gentoo