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
1
Security
0
Changelog
Latest Commits
Atom feed
Commits on 2024-02-19
sci-mathematics/opensmt: fix libdir on glibc only
04ba002
Maciej Barć
committed on 2024-02-19 15:30:32 UTC
sci-mathematics/opensmt/opensmt-2.5.2.ebuild
Commits on 2024-01-08
sci-mathematics/opensmt: sys-devel/bison -> app-alternatives/yacc
9df00ae
Sam James
committed on 2024-01-08 12:25:11 UTC
sci-mathematics/opensmt/opensmt-2.5.2.ebuild
sci-mathematics/opensmt: sys-devel/flex -> app-alternatives/lex
7382e60
Sam James
committed on 2024-01-08 12:02:28 UTC
sci-mathematics/opensmt/opensmt-2.5.2.ebuild
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
sci-mathematics/opensmt/files/opensmt-2.5.2-gcc-14.patch
sci-mathematics/opensmt/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
sci-mathematics/opensmt/Manifest
sci-mathematics/opensmt/files/opensmt-2.4.3-musl.patch
sci-mathematics/opensmt/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
sci-mathematics/opensmt/opensmt-2.5.1.ebuild
sci-mathematics/opensmt/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
sci-mathematics/opensmt/opensmt-2.5.2.ebuild
sci-mathematics/opensmt/Manifest
sci-mathematics/opensmt: drop old 2.5.0
9e7b6c9
Maciej Barć
committed on 2023-08-15 11:59:51 UTC
sci-mathematics/opensmt/Manifest
sci-mathematics/opensmt/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
sci-mathematics/opensmt/opensmt-2.5.1.ebuild
sci-mathematics/opensmt/Manifest
sci-mathematics/opensmt: drop old 2.4.3-r2
04e7a97
Maciej Barć
committed on 2023-06-28 01:12:45 UTC
sci-mathematics/opensmt/Manifest
sci-mathematics/opensmt/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
sci-mathematics/opensmt/opensmt-2.5.0.ebuild
sci-mathematics/opensmt/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
sci-mathematics/opensmt/opensmt-2.4.3-r2.ebuild
sci-mathematics/opensmt/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
sci-mathematics/opensmt/files/opensmt-2.4.3-musl.patch
sci-mathematics/opensmt/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
sci-mathematics/opensmt/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
sci-mathematics/opensmt/opensmt-2.4.3-r1.ebuild
sci-mathematics/opensmt/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
sci-mathematics/opensmt/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
sci-mathematics/opensmt/Manifest
sci-mathematics/opensmt/metadata.xml
sci-mathematics/opensmt/opensmt-2.4.3.ebuild