gentoo.mahdi.cz
dev-python
:cvc4-solver
an efficient SMT solver library [wheel]
http://cvc4.cs.stanford.edu
cvc4-solver-1.6
GPL License
download
~amd64 ~x86
pypi