SwitchMin is a digital logic minimizer and realization program. I wrote it while working on my B.S. degree in Computer Engineering. It will take a logic table, minimize it and produce several gate realizations. I haven't worked on it for some time, so WYSIWYG.