gentoo.mahdi.cz
sci-mathematics
:cubicle
Model checker for verifying properties of array-based systems
cubicle-1.2.0-r2
Apache-2.0
download
~amd64 ~x86
gentoo