kw90 / ctw_toolchain

Translate dat files to dzn, flattened fzn using mzn models and smt2 files.

Cable Tree Wiring (CTW) Toolchain

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".

Translation Toolchain

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.

Minizinc Experiments

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.

Experimental Results

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.