Something went wrong. Try again.
This repository has no description
Something went wrong. Try again.
287 B · 8 lines
Shell
at develop
123456789#!/bin/sh# set -xexport PATH="$(pwd)/..":"$(pwd)/scripts":"$PATH"export MZN_STDLIB_DIR="$(pwd)/../share/minizinc"#run-tests mzn20_fd .mzn unit examplesrun-tests mzn-fzn_fd .mzn unit examples#run-tests mzn20_fd_linear .mzn unit examples#exec run-tests mzn20_mip .mzn unit examples