gentoo.LinuxHowtos.org

Details of sci-mathematics/stp:

Description: Simple Theorem Prover, an efficient SMT solver for bitvectors
Homepage: https://stp.github.io/ https://github.com/stp/stp/

available versions:

releasesalphaamd64armhppaia64mipsppcppc64ppc macoss390shsparcx86USE-Flagsdependenciesebuild warnings
stp-2.3.4 -------------cryptominisat
debug
+python
test
show
show
stp-2.3.3-r3 -~----------~cryptominisat
debug
+python
test
show
show
Legend:
+ stable
~ testing
- not available
some ebuild warning depend on specific use-flags or architectures, all ebuild-warnings are shown.

Tutorials:
no tutorial found


back