Algorithms to implement - Githubissues

MichalHe / amaya

Mozilla Public License 2.0

7 stars 0 forks source link

Algorithms to implement #5

Open MichalHe opened 2 years ago

MichalHe commented 2 years ago

List of automata algorithms to implement due to various reasons:

[x] Hopcroft minimization
[ ] Hopcroft minimization on MTBDDs