GitHub repository: skyeaaron/LogicMinimizer
Primary language: Python
Created: 2019-01-08T19:55:01Z
Description: 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.