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
Dependencies
Reverse-Dependencies
2.6.5
Version
RDEPEND
DEPEND
BDEPEND
IDEPEND
PDEPEND
app-portage/elt-patches
dev-build/autoconf
dev-build/automake
dev-build/libtool
dev-libs/gmp
sci-mathematics/cudd
sci-mathematics/libpoly
sys-devel/gnuconfig
sys-process/parallel
Description
The dependencies are regularly computed based on the
qa-reports
.
Packages