package cubicle

  1. Overview
  2. No Docs
SMT based model checker for parameterized systems

Install

Dune Dependency

cubicle.lri.fr Edit opam file Versions (5)

Authors

  1. S
    Sylvain Conchon
  2. A
    Alain Mebsout

Maintainers

  1. M
    mebsout@lri.fr

Sources

cubicle-1.0.1.tar.gz
md5=a13b45e48ba6bfa35f38ed52cb639c13

Description

Published: 06 Nov 2014

Dependencies (3)

  1. num
  2. ocamlfind
  3. ocaml >= "4.00.0" & < "4.03.0"

Dev Dependencies

None

Used by

None

Conflicts (1)

  1. functory < "0.5"