print · login   

Randomly generated DFAs

Each set below contains 3600 models where each model is around 0.5 MB in size. Each extracted zip takes around 2GB of disk space.