PackagesCompact and open-source SMT-solver written in C++
| Version | RDEPEND | DEPEND | BDEPEND | IDEPEND | PDEPEND |
|---|---|---|---|---|---|
| app-alternatives/lex | |||||
| app-alternatives/ninja | |||||
| app-alternatives/yacc | |||||
| dev-build/cmake | |||||
| dev-cpp/gtest | |||||
| dev-libs/gmp | |||||
| dev-libs/libedit |
| Version | RDEPEND | DEPEND | BDEPEND | IDEPEND | PDEPEND |
|---|---|---|---|---|---|
| app-alternatives/lex | |||||
| app-alternatives/ninja | |||||
| app-alternatives/yacc | |||||
| dev-build/cmake | |||||
| dev-cpp/gtest | |||||
| dev-libs/gmp | |||||
| dev-libs/libedit | |||||
| sys-libs/readline |