logic-minimization
Specify and synthesize systems using symbolic algorithms
Logic Minimization in Python