Implements the "shared-cube" approach to ESOP synthesis described in [Nayeem2004].