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