This repository contains the translation and experiment toolchain for the paper "Cable Tree Wiring -- Benchmarking Solvers on a Real-World Scheduling Problem with a Variety of Precedence Constraints".
The folder translation_toolchain contains all Python scripts used to translate
dzn data and mzn models into flattened fzn or smt2 data/models combos.
It also provides a reproducible Binder environment to run the translations and
models on the benchmark data.
The Powershell scripts that were used for solving cable tree instances with the
Minizinc command line tool can be found in the minizinc_experiments folder
along with instructions.
All the models were run by a multitude of solvers with the original or translated data files. The results of the solver benchmark can be found in the excel sheet in the results folder.