cubicleversion
SMT based model checker for parameterized systems
Authors | Sylvain Conchon and Alain Mebsout |
---|---|
License | Apache-2.0 |
Published | |
Homepage | http://cubicle.lri.fr |
Issue Tracker | https://github.com/cubicle-model-checker/cubicle/issues |
Maintainer | alainmebsout@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 |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/cubicle/cubicle.1.2.0/opam |
No package is dependent