FiniteStateMachineLogicSolver This program takes a finite state machine's state code assignment, and brute forces the logic result via the Quine–McCluskey algorithm.