Pure Python AIG (And-Inverter Graph) optimizer with FRAIG sweeping, NPN-guided DAG-aware rewriting, resubstitution, and stochastic multi-restart optimization. Benchmarks against Yosys and ABC.
python eda npn logic-synthesis fraig aiger aig logic-optimization boolean-functions and-inverter-graph circuit-optimization dag-rewriting resubstitution
-
Updated
Apr 7, 2026 - Python