Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
sci-mathematics
/
stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
https://stp.github.io/
Overview
Dependencies
QA report
Pull requests
0
Bugs
0
Security
0
Changelog
Latest Commits
Commits on Dec 27, 2021
sci-mathematics/stp: multiple fixes
317c9f6
Maciej Barć
committed on 27 Dec 2021 13:08:10
files/stp-CMakeLists.txt-fix_cflags.patch
files/stp-stp.py-library_path.patch
stp-2.3.3-r1.ebuild
Manifest
metadata.xml
stp-2.3.3.ebuild
sci-mathematics/stp: dev-libs -> sci-mathematics
6f0b9d2
Maciej Barć
committed on 27 Dec 2021 13:07:02
Manifest
metadata.xml
stp-2.3.3.ebuild