Opam Package cubicle.1.1.2

Package info

opam-namecubicle
opam-version1.1.2
synopsisSMT based model checker for parameterized systems
authors
  • Sylvain Conchon
  • Alain Mebsout
homepagehttp://cubicle.lri.fr
licenseApache-2.0
deps (4)
revdeps(0)
metas(0)
libraries(0)

Package modules

Package sources

cubicle

Package files

bin/cubicle