gentoo.LinuxHowtos.org

Details of sci-mathematics/cubicle:

Description: Model checker for verifying properties of array-based systems
Homepage: https://cubicle.lri.fr/ https://github.com/cubicle-model-checker/cubicle/

available versions:

releasesalphaamd64armhppaia64mipsppcppc64ppc macoss390shsparcx86USE-Flagsdependenciesebuild warnings
cubicle-1.2.0-r2 -~----------~emacs
examples
show
show
Legend:
+ stable
~ testing
- not available
some ebuild warning depend on specific use-flags or architectures, all ebuild-warnings are shown.

Tutorials:
no tutorial found


back