gentoo.mahdi.cz
sci-mathematics
:verit
An open, trustable and efficient SMT-prover
https://verit.loria.fr/
verit-2021.06.2
BSD
download
~amd64 ~x86
gentoo