PackagesSMT Solver supporting SMT-LIB and Yices specification language
| 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 |