#!/bin/bash -u COLDIR=$(realpath $(dirname $0)/..) # Repertoire ECLiPSe Prolog ECLIPSEDIR=$COLDIR/ECLiPSe_5.10 # Architecture #ARCH=i386 ARCH="x86_64" LD_LIBRARY_PATH=${ECLIPSEDIR}/lib/${ARCH}_linux:${LD_LIBRARY_PATH:=} export ECLIPSEDIR ARCH LD_LIBRARY_PATH exec ${ECLIPSEDIR}/lib/${ARCH}_linux/eclipse.exe -b $COLDIR/col_solve_x86_64.eco -g 5000M -e "seed(0),smt_comp_solve(\"$1\")"