Compact 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 |