#!/bin/sh
export PATH="./provers:${PATH}";
export PATH_TO_CIVL_FOLDER="./";
java -Xms15000M -Duser.home=$HOME -Djava.io.tmpdir=$TMPDIR -jar $PATH_TO_CIVL_FOLDER/lib/civl-1.7.2_3802.jar $@
