package lascar

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

Install

cloud.ip.univ-bpclermont.fr Edit opam file

Authors

  1. J
    Jocelyn Sérot <jocelyn.serot@uca.fr>

Maintainers

  1. J
    Jocelyn Sérot <jocelyn.serot@uca.fr>

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