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
/
boolector
Fast SMT solver for bit-vectors, arrays and uninterpreted functions
https://boolector.github.io/
Overview
Dependencies
QA report
Pull requests
0
Bugs
0
Security
0
Changelog
Latest Commits
RSS Feed
Commits on 2023-11-02
sci-mathematics/boolector: bump to 3.2.3
07cc52f
Maciej Barć
committed on 2023-11-02 22:11:22 UTC
boolector-3.2.3.ebuild
files/boolector-3.2.3-cmake-std.patch
Manifest
Commits on 2023-03-04
sci-mathematics/boolector: H -> COMMIT
b4d8369
Maciej Barć
committed on 2023-03-04 16:32:11 UTC
boolector-3.2.2_p20220110.ebuild
Commits on 2023-01-14
*/*: remove py3.8 from PYTHON_COMPAT
ed46802
David Seifert
committed on 2023-01-14 12:51:19 UTC
boolector-3.2.2_p20220110.ebuild
Commits on 2023-01-13
sci-mathematics/boolector: fix build to not require static libs
ac87869
Maciej Barć
committed on 2023-01-13 15:42:38 UTC
boolector-3.2.2_p20220110.ebuild
Commits on 2023-01-11
sci-mathematics/boolector: new package; add 3.2.2_p20220110
8c125ea
Maciej Barć
committed on 2023-01-11 03:44:07 UTC
Manifest
boolector-3.2.2_p20220110.ebuild
metadata.xml