Gentoo Portage Overlays - dev-libs/stp

Newest News Repository news GLSAs Browse USE Flags Overlays More...

dev-libs/stp

Simple Theorem Prover, an efficient SMT solver for bitvectors

Screenshots

https://stp.github.io/

stp-2.3.3

~amd64 ~x86

python test

View

Download

Browse License: GPL-2+ MIT

Overlay: gentoo (distro)

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs