The software automatically encodes states, outputs, and inputs. Outputs a structural automaton, memory excitation table. Karnaugh maps to minimize functions. (note: maximum number of inputs is 2)

The software is designed to automatically find multiplexer input signals using a formula or its results. (There is a 5 letter limit in the function) Available alphabet: "abcde +*!"