PackagesAutomatic theorem prover for satisfiability modulo theories (SMT) problems
| Version | RDEPEND | DEPEND | BDEPEND | IDEPEND | PDEPEND |
|---|---|---|---|---|---|
| dev-build/cmake | |||||
| dev-build/make | |||||
| dev-java/antlr | |||||
| dev-lang/python | |||||
| dev-libs/antlr-c | |||||
| dev-libs/boost | |||||
| dev-libs/gmp | |||||
| sci-libs/cln | |||||
| sys-libs/readline |