GitHub repository: stimpe/state_table_minimization
Primary language: Python
Created: 2020-11-28T00:14:50Z
Description: Algorithm for Reducing Incompletely Specified Machines