[ANN] Lascar-0.6-alpha

This is to announce the availability of version 0.6 of Lascar, a library for manipulating Labeled Transition Systems in OCaml.

This release is essentially a repackaging to support building and installing with dune and removing the dependency on camlp4.

Lascar is available in source code from github or as a opam package.

JS

4 Likes