eqmap 0.9.1

Using e-graphs for logic synthesis
Documentation