#! /bin/sh

/usr/bin/fzn-gecode -mode gist "$@"
