adamatw / logicminimizer Goto Github PK
View Code? Open in Web Editor NEWThis project forked from skyeaaron/logicminimizer
Take a text file with logic statements like 1 OR 2 AND 3, apply espresso minimization algorithm from pyeda package, and output minimized expressions and redundant variables. Work in progress.