package cubicle

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

Install

Dune Dependency

Authors

Maintainers

Sources

cubicle-1.2.0.tar.gz
sha256=e6bdbc8d6b8105e77e909e431d1dc6673e4d271bc8b135b35d7731d8fbe7ba0e

Description

Published: 02 Nov 2022

Dependencies (5)

  1. ocamlfind
  2. num < "1.5"
  3. ocaml >= "5.0"
  4. num
  5. ocaml >= "4.08.0" & < "5.0"

Dev Dependencies

None

Used by

None

Conflicts (1)

  1. functory < "0.5"