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
/
opensmt
Compact and open-source SMT-solver written in C++
http://verify.inf.usi.ch/opensmt/
Overview
Dependencies
QA report
Pull requests
0
Bugs
0
Security
0
Changelog
Latest Commits
RSS Feed
Commits on 2023-11-07
sci-mathematics/opensmt: fix build with gcc 14
de122ee
Kostadin Shishmanov
authored
and
Maciej Barć
committed on 2023-11-07 18:50:12 UTC
files/opensmt-2.5.2-gcc-14.patch
opensmt-2.5.2.ebuild
Commits on 2023-08-22
sci-mathematics/opensmt: drop old 2.5.1
98bdfdb
Maciej Barć
committed on 2023-08-22 14:32:24 UTC
Manifest
files/opensmt-2.4.3-musl.patch
opensmt-2.5.1.ebuild
Commits on 2023-08-17
sci-mathematics/opensmt: fix .so install
2bbd02d
Maciej Barć
committed on 2023-08-17 13:22:10 UTC
opensmt-2.5.1.ebuild
opensmt-2.5.2.ebuild
Commits on 2023-08-15
sci-mathematics/opensmt: bump to 2.5.2
39c26c4
Maciej Barć
committed on 2023-08-15 11:59:52 UTC
opensmt-2.5.2.ebuild
Manifest
sci-mathematics/opensmt: drop old 2.5.0
9e7b6c9
Maciej Barć
committed on 2023-08-15 11:59:51 UTC
Manifest
opensmt-2.5.0.ebuild
Commits on 2023-06-28
sci-mathematics/opensmt: bump to 2.5.1
e697a31
Maciej Barć
committed on 2023-06-28 01:12:45 UTC
opensmt-2.5.1.ebuild
Manifest
sci-mathematics/opensmt: drop old 2.4.3-r2
04e7a97
Maciej Barć
committed on 2023-06-28 01:12:45 UTC
Manifest
opensmt-2.4.3-r2.ebuild
Commits on 2023-04-15
sci-mathematics/opensmt: bump to 2.5.0
a5c9211
Maciej Barć
committed on 2023-04-15 17:21:54 UTC
opensmt-2.5.0.ebuild
Manifest
Commits on 2023-04-13
sci-mathematics/opensmt: require gmp with USE=cxx
22e1e10
Maciej Barć
committed on 2023-04-13 21:27:09 UTC
opensmt-2.4.3-r2.ebuild
opensmt-2.4.3-r1.ebuild
Commits on 2023-02-06
sci-mathematics/opensmt: fix build on musl
d7cebc8
Maciej Barć
committed on 2023-02-06 17:23:18 UTC
files/opensmt-2.4.3-musl.patch
opensmt-2.4.3-r1.ebuild
sci-mathematics/opensmt: drop old 2.4.3
7f2a189
Maciej Barć
committed on 2023-02-06 17:23:18 UTC
opensmt-2.4.3.ebuild
Commits on 2023-01-13
sci-mathematics/opensmt: prevent fetching googletest
07c1e07
Maciej Barć
committed on 2023-01-13 18:58:39 UTC
opensmt-2.4.3-r1.ebuild
opensmt-2.4.3.ebuild
sci-mathematics/opensmt: do not install static libs
3862b89
Maciej Barć
committed on 2023-01-13 18:58:39 UTC
opensmt-2.4.3.ebuild
Commits on 2023-01-09
sci-mathematics/opensmt: new package; add 2.4.3
77ad3c3
Maciej Barć
committed on 2023-01-09 01:54:39 UTC
Manifest
metadata.xml
opensmt-2.4.3.ebuild