removing SATPlan and adding conda and sypet

[Benchmarks_CSolver.git] / satPlan2006 / include / bin / SatELiteGTI

diff --git a/satPlan2006/include/bin/SatELiteGTI b/satPlan2006/include/bin/SatELiteGTI
deleted file mode 100755 (executable)
index 0cea054..0000000
--- a/satPlan2006/include/bin/SatELiteGTI
+++ /dev/null
@@ -1,39 +0,0 @@
-#!/bin/sh
-
-if [ "x$1" = "x" ]; then
-  echo "USAGE: SatELiteGTI <input CNF>"
-  exit 1
-fi
-
-if [ -L $0 ]; then
-  XDIR=`ls -l --color=no $0 | sed "s%.*-> \(.*\)/.*$%\1%"`
-else
-  XDIR=`echo $0 | sed "s%\(.*\)/.*$%\1%"`
-fi
-
-TMP=/tmp/GTI_${HOSTNAME}_$$
-SE=$XDIR/SatELite_release
-MS=$XDIR/minisat_static
-if [ x"$1" = "xdebug" ]; then SE=$XDIR/SatELite; shift;fi   
-INPUT=$1; shift
-
-$SE "$@" $INPUT $TMP.bcnf $TMP.vmap $TMP.elim
-X=$?
-if [ $X == 0 ]; then
-  $MS $TMP.bcnf $TMP.result
-  X=$?
-  if [ $X == 20 ]; then
-    echo "s UNSATISFIABLE"
-    rm -f $TMP.bcnf $TMP.vmap $TMP.elim $TMP.result
-    exit 20
-  elif [ $X != 10 ]; then
-    rm -f $TMP.bcnf $TMP.vmap $TMP.elim $TMP.result
-    exit $X
-  fi  
-
-  $SE +ext $INPUT $TMP.result $TMP.vmap $TMP.elim
-  X=$?
-fi    
-
-rm -f $TMP.bcnf $TMP.vmap $TMP.elim $TMP.result
-exit $X