Skip to content
GitLab
Explore
Sign in
Brzozowski Minimize algorithm
Code
Review changes
Check out branch
Open in Workspace
Download
Patches
Plain diff
Expand sidebar
Brzozowski Minimize algorithm
Tomáš Pecka
requested to merge
brzMin
into
master
Nov 18, 2014
Overview
0
Commits
2
Pipelines
0
Changes
Add support for Brzozowski Minimize algorithm
aminimize executable takes optional parameter "algorithm"
Merge request reports
Loading