From a30b5da6d877c96d5e58a752584a48b4390cfe3f Mon Sep 17 00:00:00 2001
From: Artur Meski <artur.meski@gmail.com>
Date: Sun, 22 Sep 2019 16:19:14 +0100
Subject: [PATCH] The main ReactICS script

---
 reactics | 44 ++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 44 insertions(+)
 create mode 100755 reactics

diff --git a/reactics b/reactics
new file mode 100755
index 0000000..62aa630
--- /dev/null
+++ b/reactics
@@ -0,0 +1,44 @@
+#!/bin/bash
+
+mode="$1"
+shift
+
+REACTICS_BDD="./reactics-bdd"
+
+if [[ "$mode" == "bdd" ]]
+then
+  
+  echo $*
+  if [[ ! -x $REACTICS_BDD/reactics ]]
+  then
+    echo "Make sure to run setup first!"
+  fi
+  
+  reactics-bdd/reactics $*
+  
+elif [[ "$mode" == "smt" ]]
+then
+  
+  echo "SMT"
+  
+elif [[ "$mode" == "setup" ]]
+then
+ 
+  git pull 
+  cd $REACTICS_BDD
+  ./build_cudd.sh
+  make
+
+else
+  
+  echo "Usage: $0 <mode>"
+  echo
+  echo "mode:"
+  echo "  - bdd    -- uses BDD-based module"
+  echo "  - smt    -- used SMT-based module"
+  echo "  - setup  -- builds what is required" 
+  echo
+  
+fi
+
+# EOF