From 810c0be1271e222c3caa1b5fd6b0992ad03b10a3 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 22 Dec 2011 14:29:36 -0800
Subject: [PATCH] Added alias blif2aig = undc; strash; zero

---
 abc.rc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/abc.rc b/abc.rc
index b2149dcd0..03ef1eb61 100644
--- a/abc.rc
+++ b/abc.rc
@@ -117,6 +117,7 @@ alias rwsat       "st; rw -l; b -l; rw -l; rf -l"
 alias drwsat2     "st; drw; b -l; drw; drf; ifraig -C 20; drw; b -l; drw; drf"
 alias share       "st; multi -m; fx; resyn2"
 alias addinit     "read_init; undc; strash; zero"
+alias blif2aig    "undc; strash; zero"
 
 # resubstitution scripts for the IWLS paper
 alias src_rw      "st; rw -l; rwz -l; rwz -l"