Defines data expressions on top of terms that are compatible with the mCRL2 toolset.
A thread-safe library to manipulate and store first-order terms.
Implements various term rewrite engines based on a set automaton matching construction.
Implements various utility and I/O functionality for symbolic data structures, i.e., decision diagrams.
Internal MERC crate containing procedural macros for code generation.
Implements algorithms and I/O for list decision diagrams.
A read efficient readers-writer lock based on the busy-forbidden protocol.