Crate mcrl2

This crate provides safe bindings for the libraries of the mCRL2 toolset, using the FFI defined in the mcrl2-sys crate.

Modules

• aterm
  Rust interface of Atermpp
• data
  Safe abstraction for the data library, containing rewriters and data specifications. In most cases we avoid storing unnecessary data in aterms and instead use structs where appropriate.
• lps
  Safe abstraction for the LPS library,