= 768" x-on:close-sidebar="sidebar=window.innerWidth >= 768 && true">
A library for manipulating Labeled Transition Systems in OCaml
Install
copied = false, 2000)"
:class="{ 'border-gray-700': !copied, 'text-gray-100': !copied, 'focus:ring-orange-500': !copied, 'focus:border-orange-500': !copied, 'border-green-600': copied, 'text-green-600': copied, 'focus:ring-green-500': copied, 'focus:border-green-500': copied }">
Authors
Maintainers
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)
-
ocaml
>= "4.10" & < "5.0.0"
- ppx_deriving
-
ppxlib
>= "0.13.0"
-
dune
>= "2.6"
Development Dependencies
-
None
Reverse Dependencies (1)
-
rfsm
>= "1.6.0"
Conflicts
-
None