Version 2.0 is almost a complete rewrite of Seminator 1.2.
The main highlights of added functionality are:
- Seminator 2 offers handful of optimizations that introduce significant improvement in the size of produced automata
- Seminator 2 knows how to complement automata, the complementation proceeds in 2 steps:
A) semi-determinization of the input automaton
B) complementation of the semi-deterministic automaton using the specialized algorithm for semi-deterministic automata called NCSB - Seminator now has Python bindings and integrates well with Jupyter notebooks (thanks to Alexandre Duret-Lutz)
The complete list of changes is in Changelog