1#!/bin/sh
2# set -x3exportPATH="$(pwd)/..":"$(pwd)/scripts":"$PATH"4exportMZN_STDLIB_DIR="$(pwd)/../share/minizinc"5#run-tests mzn20_fd .mzn unit examples6run-tests mzn-fzn_fd .mzn unit examples
7#run-tests mzn20_fd_linear .mzn unit examples8#exec run-tests mzn20_mip .mzn unit examples
dekker.one