v.1.2.9

emuskardin released this 12 Oct 13:11

· 412 commits to master since this release

3f0680c

add option to ensure minimality of randomly generated automata
minor bug fixes and optimizations

Assets 2