#!/bin/bash
DIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
exec "$DIR"/fzn-gecode-gist -mode gist "$@"
