gentoo.mahdi.cz
sci-mathematics
:kind2
Multi-engine SMT-based automatic model checker
kind2-1.9.0
Apache-2.0
download
~amd64
gentoo