3 files changed, 29 insertions, 2 deletions
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 $*"