GitHub repository: mklokocka/seminator
Primary language: Jupyter Notebook
Created: 2017-01-25T00:26:01Z
Description: Seminator is a free tool for semi-determinization of omega automata.