package lascar
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=343190b9c765655e787758db86a82818404dda18b4d2806283b4bde3ced91d26
sha512=2b6534ac438d574228d127b3b4e2cfec17b8b95e95124297c8da351caf34de2bb4ec8a31028a1470ba7f42aa932257293d021140a5a1c2642d1a60a8123d00a0
Description
A library for manipulating Labeled Transition Systems in OCaml
Published: 18 Sep 2019
README
LASCAr
LASCAr is a library for manipulating Labeled Transition Systems
(LTS) in OCaml. LASCAr provides functions for
building and inspecting models of such systems
generating graphical (
.dot
format) and text (.tex
format) representationscomputing execution trees and displaying them in graphical or text format
computing the product (in various flavors) of such systems
LASCAr provides implementations both for "generic" LTS (with or without state attributes) and for "specialized" versions :
deterministic and non-deterministic finite automata (DFA, NFA),
Mealy and Moore automata
Finite State Machines (FSMs)
The library makes a heavy use of functors to support genericity and to maximise code reuse.
Documentation
The library API is documented here.
Some annotated code snippets can be found here
Other examples are provided in a dedicated directory.
Installation
The latest stable version is provided as a ready-to-install OPAM package.
Installation can also be carried by downloading compiling the source code from github :
git clone https://github.com/jserot/lascar
cd lascar
make
make install
For displaying the generated
.dot
files, you will need to install the Graphviz suite of tools.
Compiling and running the examples
Each example directory contains both a Makefile
and a dune
file to simplify building and running the example.
To build the executable, type
make build
To run the generated executable, type
make run
(or simplymake
)
The latest command will also invoke the .dot
file viewer to display the generated graphical representations of the systems. The name of this viewer is specified in the supplied Makefile
and will probably have to be adjusted according to your Graphviz
installation.