package lascar

  1. Overview
  2. Docs
A library for manipulating Labeled Transition Systems in OCaml

Install

Dune Dependency

Authors

Maintainers

Sources

0.5.tar.gz
sha256=832dda5f7eb4fbebfcafc0707bf662948439c912118c85faa47adabe6c722ac6
md5=ef21f44866b619b8da4d578f6feab5c5

Description

Published: 12 Apr 2018

Dependencies (3)

  1. ocamlfind build
  2. camlp4
  3. ocaml >= "4.03" & < "5.0"

Dev Dependencies

None

Used by (1)

  1. rfsm < "1.6-alpha-3"

Conflicts

None

OCaml

Innovation. Community. Security.