opam on Github

cubicleversion
1.0.1

SMT based model checker for parameterized systems

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