DAG-aware rewriting is a fast greedy algorithm for circuit compression proposed for years [1]. In this package, we integrate this algorithm into Majority-Inverter Graphs (MIGs) and implement in ABC with commands "gen_graph", "aigtomigrw" and "rmigrw".

git clone https://github.com/popo55668/DAG-Aware-MIG-Rewriting.git
make