Find or implement AIG library

Find and depend on decent library implementation similar or equal to STP's [ABC library](https://people.eecs.berkeley.edu/~alanmi/abc/abc.htm) for [and-inverter-graph](https://en.wikipedia.org/wiki/And-inverter_graph) (AIG) computation. A pure Rust implementation is favoured over any other implementation to avoid having non-ecosystem dependencies.