cubicleversion

SMT based model checker for parameterized systems

AuthorsSylvain Conchon and Alain Mebsout
LicenseApache-2.0
Published
Homepagehttp://cubicle.lri.fr
Issue Trackerhttps://github.com/cubicle-model-checker/cubicle/issues
Maintaineralainmebsout@gmail.com
Dependencies
Optional dependencies
Conflicts
Source [http] https://github.com/cubicle-model-checker/cubicle/releases/download/1.2.0/cubicle-1.2.0.tar.gz
sha256=e6bdbc8d6b8105e77e909e431d1dc6673e4d271bc8b135b35d7731d8fbe7ba0e
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/cubicle/cubicle.1.2.0/opam
No package is dependent