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 simply make)

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.