From a6d6a40ff371654b0db2ad31854dfeb2abfb4123 Mon Sep 17 00:00:00 2001
From: Baruch Sterin <baruchs@gmail.com>
Date: Mon, 24 Oct 2011 15:21:08 -0700
Subject: pyabc: add additional scripts for HWMCC11 competition

---
 scripts/simple_bip.sh   | 14 ++++++++++++++
 scripts/simple_prove.sh | 14 ++++++++++++++
 scripts/super_prove.sh  |  3 +--
 3 files changed, 29 insertions(+), 2 deletions(-)
 create mode 100644 scripts/simple_bip.sh
 create mode 100644 scripts/simple_prove.sh

(limited to 'scripts')

diff --git a/scripts/simple_bip.sh b/scripts/simple_bip.sh
new file mode 100644
index 00000000..121bb281
--- /dev/null
+++ b/scripts/simple_bip.sh
@@ -0,0 +1,14 @@
+#!/bin/sh
+
+abc_root()
+{
+    cwd="$(pwd)"
+    cd $(dirname "$1")
+    echo $(dirname "$(pwd)")
+    cd "${cwd}"
+}
+
+abc_dir=$(abc_root "$0")
+bin_dir="${abc_dir}"/bin
+
+exec ${bin_dir}/abc -c "/simple_bip_aiger $*"
diff --git a/scripts/simple_prove.sh b/scripts/simple_prove.sh
new file mode 100644
index 00000000..1fc8773b
--- /dev/null
+++ b/scripts/simple_prove.sh
@@ -0,0 +1,14 @@
+#!/bin/sh
+
+abc_root()
+{
+    cwd="$(pwd)"
+    cd $(dirname "$1")
+    echo $(dirname "$(pwd)")
+    cd "${cwd}"
+}
+
+abc_dir=$(abc_root "$0")
+bin_dir="${abc_dir}"/bin
+
+exec ${bin_dir}/abc -c "/simple_prove_aiger $*"
diff --git a/scripts/super_prove.sh b/scripts/super_prove.sh
index c3823b3a..d55ae03d 100644
--- a/scripts/super_prove.sh
+++ b/scripts/super_prove.sh
@@ -10,6 +10,5 @@ abc_root()
 
 abc_dir=$(abc_root "$0")
 bin_dir="${abc_dir}"/bin
-aig_file="$1"
 
-exec ${bin_dir}/abc -c "/rf ${aig_file} ; /super_prove_aiger"
+exec ${bin_dir}/abc -c "/super_prove_aiger $*"
-- 
cgit v1.2.3