Mapping MIG networks was previously broken because when importing from AIG one input would be constant, and the topological ordering code didn't go through constants, resulting in "not topologically ordered" exceptions. By adding some extra code to handle that case mapping to MIG works now.
Mapping MIG networks was previously broken because when importing from AIG one input would be constant, and the topological ordering code didn't go through constants, resulting in "not topologically ordered" exceptions. By adding some extra code to handle that case mapping to MIG works now.