#!/bin/bash
script_dir="$(dirname "$(readlink -f ${BASH_SOURCE[0]})")"
LD_LIBRARY_PATH=$script_dir/lib:$LD_LIBRARY_PATH $script_dir/bin/sspaceex_cegar "$@"
