diff options
| -rw-r--r-- | abc.rc | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -122,9 +122,9 @@ alias addinit "read_init; undc; strash; zero" alias blif2aig "undc; strash; zero" alias v2p "&vta_gla; &ps; &gla_derive; &put; w 1.aig; pdr -v" alias g2p "&ps; &gla_derive; &put; w 2.aig; pdr -v" -alias &fx_ "&put; sweep; sop; fx; st; &get" alias &sw_ "&put; sweep; st; &get" -alias &dc3 "&b; &jf -K 6 -g; &b; &jf -K 4 -g; &b" +alias &fx_ "&put; sweep; sop; fx; st; &get" +alias &dc3 "&b; &jf -K 6; &b; &jf -K 4; &b" alias &dc4 "&b; &jf -K 7; &fx; &b; &jf -K 5; &fx; &b" # resubstitution scripts for the IWLS paper |