pyeda (pypi): Python Electronic Design Automation
Keywords: binary decision diagram|Boolean algebra|Boolean satisfiability|combinational logic|combinatorial logic|computer arithmetic|digital arithmetic|digital logic|EDA|electronic design automation|Espresso|Espresso-exact|Espresso-signature|logic|logic minimization|logic optimization|logic synthesis|math|mathematics|PicoSAT|SAT|satisfiability|truth table|Two-level logic minimization|Two-level logic optimization