gentoo.mahdi.cz
sci-mathematics
:opensmt
Compact and open-source SMT-solver written in C++
opensmt-2.5.2
MIT
download
~amd64 ~x86
gentoo