Skip to content

Brzozowski Minimize algorithm

Tomáš Pecka requested to merge brzMin into master
  • Add support for Brzozowski Minimize algorithm
  • aminimize executable takes optional parameter "algorithm"

Merge request reports