eqmap 0.9.0

Using e-graphs for logic synthesis
Documentation