logicmin (pypi): Logic Minimization
Keywords: combinational-circuit|logic-design|logic-minimization|state-machine