automata
A library for transition systems and automata over (in)finite words.
Activity
- Latest release
- 3d ago
- Total releases
- 5
- Cadence
- ~2.0 years
- Last 12 months
- 1
Details
- License
- MIT
- First release
- Mar 14, 2015
Releases
A library for transition systems and automata over (in)finite words.