FSMs There are two executables, with very bad naming: src/FSMs.hs This executable will convert .kiss circuits to Mealy machines in .dot format. src/Minimize.hs Will minimize Mealy machines in .dot format.