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

Install

github.com Readme Changelog MIT License 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.7.0.tar.gz
md5=eeed7e1ee24ab2a399305b0cbd4b1ebb
sha512=aa14182eb2da1b4af3d5c3e3fe86cecfe46a49370b626d16a82b5d6771849a9c9d3a3cc62b65aab64a074cfddb19d97bf5ee0a9dcd32b9aa20978da0d9e734ca

Description

A library for manipulating Labeled Transition Systems in OCaml

Published: 08 Mar 2021

Dependencies (4)

  1. ocaml >= "4.10" & < "5.0.0"
  2. ppx_deriving
  3. ppxlib >= "0.13.0"
  4. dune >= "2.6"

Dev Dependencies

None

Used by (1)

  1. rfsm >= "1.6.0"

Conflicts

None