search

mlaveaux / mCRL2-rust

A rust wrapper for the library functionality of the mCRL2 toolset
https://mlaveaux.github.io/mCRL2-rust/
Boost Software License 1.0
0 stars 0 forks source link

Implement term enumeration/narrowing #9

Open mlaveaux opened 3 months ago

mlaveaux commented 3 months ago

This could either be done on the Rust or we integrate Sabre into the enumeration framework on the mCRl2 side.