package lascar

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

Install

Dune Dependency

Authors

Maintainers

Sources

0.5.tar.gz
md5=ef21f44866b619b8da4d578f6feab5c5

Description

Published: 12 Apr 2018

Dependencies (3)

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

Dev Dependencies

None

Used by (1)

  1. rfsm < "1.6-alpha-3"

Conflicts

None