Provides an interface for AIGs and word-level operations on them - View it on GitHub