#!/bin/sh

MINIZINC_EXEC=${MINIZINC-minizinc}

$MINIZINC_EXEC -G linear -D "fMIPdomains=false" -b fd $*
