* Improved CI: using GitHub actions instead of Travis. * Included many other checks: `safety`, `black`, `liccheck`. * Improved documentation.
0.3.0
* Main refactoring of the APIs. * Introduce interfaces for better abstractions: `Alphabet`, `FiniteAutomaton` etc. * `DFA` and `NFA` renamed `SimpleDFA` and `SimpleNFA`, respectively. * Introduced `SymbolicAutomaton` and `SymbolicDFA`, where the guards on transitions are propositoinal formulas.
0.2.0
* Refactoring of the repository
0.1.0
* Basic support for DFAs and NFAs. * Algorithms for DFA minimization and trimming. * Algorithm for NFA determinization.