From b71b5bbc233492321566551b7b5a69d99beaa297 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 18 Aug 2011 14:38:02 +0700
Subject: Bug fix in CBA and PBA.

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

(limited to 'abc.rc')

diff --git a/abc.rc b/abc.rc
index 751f0ce3..b2149dcd 100644
--- a/abc.rc
+++ b/abc.rc
@@ -116,6 +116,7 @@ alias choice2     "fraig_store; balance; fraig_store; resyn; fraig_store; resyn2
 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"
 
 # resubstitution scripts for the IWLS paper
 alias src_rw      "st; rw -l; rwz -l; rwz -l" 
-- 
cgit v1.2.3