gentoo.mahdi.cz
sci-mathematics
:yices2
SMT Solver supporting SMT-LIB and Yices specification language
https://github.com/SRI-CSL/yices2/
yices2-2.6.4-r1
GPL-3+
download
~amd64 ~x86
gentoo