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