this repo has no description
1#!/bin/sh 2 3MINIZINC_EXEC=${MINIZINC-minizinc} 4 5$MINIZINC_EXEC -G g12_fd -b fd $*