this repo has no description
dekker.one
1#!/usr/bin/env bash
2trap "exit" INT
3set -e
4
5folder=$1
6
7source setup.sh
8
9solver="./software/install/chuffed/bin/fzn-chuffed"
10model="./${folder}/original"
11output_folder="./output/chuffed/${folder}/original"
12mkdir -p ${output_folder}
13
14for data in ./${folder}/*.dzn; do
15 echo "Running ${model} with ${data}"
16 filename=$(basename -- "$data")
17 filename="${filename%.*}"
18 minizinc --solver mzn-fzn -c -Gchuffed ${model}.mzn ${data} &> ${output_folder}/${filename}.sol
19 ${solver} -a --time-out ${timeout_sec}000 -s ${model}.fzn | minizinc --output-time --ozn-file ${model}.ozn >> ${output_folder}/${filename}.sol
20 rm -f ${model}.fzn ${model}.ozn
21done