#! /bin/sh
/usr/bin/fzn-gecode -mode gist "$@"
