cubicle

AuthorsSylvain Conchon and Alain Mebsout
LicenseApache Software License version 2.0
Homepagehttp://cubicle.lri.fr
Maintainermebsout@lri.fr
Dependencies
&num
ocamlfind
Optional dependencies
functory
Availableocaml-version >= "4.00.0" & ocaml-version < "4.03.0"
PublishedAug 6, 2014
Source [http] http://cubicle.lri.fr/cubicle-1.0.tar.gz
24b163eb77e6832747dccd6cc8a5d57c
StatisticsNot installed in the last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/cubicle/cubicle.1.0/opam

SMT based model checker for parameterized systems

No package is dependent