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
/
yices2
SMT Solver supporting SMT-LIB and Yices specification language
https://github.com/SRI-CSL/yices2/
Overview
Dependencies
QA report
Pull requests
0
Bugs
1
Security
0
Changelog
Latest Commits
Atom feed
Commits on 2023-01-14
sci-mathematics/yices2: do not install static libs
d7f3217
Maciej Barć
committed on 2023-01-14 02:59:24 UTC
sci-mathematics/yices2/yices2-2.6.4-r1.ebuild
sci-mathematics/yices2/yices2-2.6.4.ebuild
Commits on 2022-12-18
sci-mathematics/yices2: new package; add 2.6.4
7fedb4d
Maciej Barć
committed on 2022-12-18 21:50:55 UTC
sci-mathematics/yices2/Manifest
sci-mathematics/yices2/metadata.xml
sci-mathematics/yices2/yices2-2.6.4.ebuild
Packages