LASCAr is a library for manipulating Labeled Transition Systems (LTS) in OCaml. LASCAr provides functions for
.dot format) and text (.tex format) representationsLASCAr provides implementations both for "generic" LTS (with or without state attributes) and for "specialized" versions :
The library makes a heavy use of functors to support genericity and to maximise code reuse.
The library API is documented here.
Some annotated code snippets can be found here.
Other examples are provided in a dedicated directory.
Installation can also be carried by downloading compiling the source code from github :
git clone https://github.com/jserot/lascarcd lascar./configure (type ./configure --help for options)makemake installTo compile a program foo.ml making use of the library, simply execute
$ ocamlfind ocamlc -I <install_dir>/lib/lascar -o foo foo.mlOr, if the package has been installed using OPAM :
$ ocamlfind ocamlc -package lascar -linkpkg -o foo foo.mlFor displaying the generated .dot files, you will need to install the Graphviz suite of tools. The name of the .dot viewer program can be passed to the configure script with the -dotviewer option.