Logic circuit optimizer using equality saturation, Quine-McCluskey, and ILP - View it on GitHub