package cubicle

  1. Overview
  2. 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. A
    alainmebsout@gmail.com

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"
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct