v0.0.2
accd314f · Adapt EFSMs for multi-variable extension ·