mikeurbach / egg-netlist-synthesizer

Using e-graphs to synthesize netlists from boolean logic.

Geek Repo

Github PK Tool