1024">
Learn
Packages
Community
Blog
Playground
Get Started
Learn
Packages
Community
Blog
Playground
Get started
lascar
A library for manipulating Labeled Transition Systems in OCaml
Version
0.7.0
0.6.0
0.6-alpha
0.5
Overview
Documentation
Description
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 }">
http://cloud.ip.univ-bpclermont.fr/~serot/lascar/
Authors
Jocelyn Sérot <jocelyn.serot@uca.fr>
Maintainers
Jocelyn Sérot <jocelyn.serot@uca.fr>
Sources
0.5.tar.gz
md5=ef21f44866b619b8da4d578f6feab5c5
Dependencies
ocamlfind
build
camlp4
ocaml
>= "4.03"
Reverse Dependencies
rfsm
< "1.6-alpha-3"