package lascar

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

Install 

dune-project
 Dependency

cloud.ip.univ-bpclermont.fr Edit opam file Versions (4)

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