dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / tests / scripts / mzn20_fd_linear
at develop 104 B view raw
1#!/bin/sh 2 3MINIZINC_EXEC=${MINIZINC-minizinc} 4 5$MINIZINC_EXEC -G linear -D "fMIPdomains=false" -b fd $*