dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / tests / scripts / mzn-fzn_fd
at develop 74 B view raw
1#!/bin/sh 2 3MZNFZN_EXEC=${MZNFZN-mzn-fzn} 4 5$MZNFZN_EXEC -G g12_fd -b fd $*