opam on Github

cubicleversion
1.0.2

SMT based model checker for parameterized systems

AuthorsSylvain Conchon and Alain Mebsout
LicenseApache-2.0
Published
Homepagehttp://cubicle.lri.fr
Maintaineralainmebsout@gmail.com
Dependencies
Optional dependencies
Conflicts
Source [http] https://github.com/ocaml/opam-source-archives/raw/main/cubicle-1.0.2.tar.gz
sha256=5ddf66641cf60e5e4bab87d4203b7d1b3dc32714c33511ca31a03491e94ee3b9
md5=08a6f19c157037c162bb4a764f2c3747
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/cubicle/cubicle.1.0.2/opam
No package is dependent
Generated using opam2web, courtesy of OCamlPro. Commercial support.