Version 2.0

Version 2.0 is almost a complete rewrite of Seminator 1.2.

The main highlights of added functionality are:

1. Seminator 2 offers handful of optimizations that introduce significant improvement in the size of produced automata
2. 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
3. Seminator now has Python bindings and integrates well with Jupyter notebooks (thanks to Alexandre Duret-Lutz)

The complete list of changes is in Changelog

Pre-2.0 release

Merge pull request #26 from adl/next

minor make install issues

Version 1.2.0

Main features:

• Seminator now uses SCC-aware optimization
• Seminator now compiles with C++14
• Evaluation rewritten

Final version for LPAR 2017

The final version for the LPAR 2017 paper.

Seminator v1.0.0

Seminator v1.0.0 release.