#!/bin/sh

MINIZINC_EXEC=minizinc

$MINIZINC_EXEC --solver cbc $*
