[bib]
@techreport{RISC7239,
author = {Tereso del Río and Wolfgang Schreiner and Martina Seidl and Temur Kutsia and Wolfgang Windsteiger },
title = {{An Intermediate Representation Format for Industrial Optimization Problems - The Translation of OptDSL to MiniZinc}},
language = {english},
abstract = {This report presents the implementation of OptDSL, a Python-inspired domain-specific language for describing optimisation problems. The implementation is based on the translationof a high-level OptDSL formulation of the problem to an intermediate representation in the constraint modelling language MiniZinc, which can be used by multiple state-of-the-art solvers. The report also describes the translation software, illustrates its use on a simplified industrial example, discusses selected implementation details, and suggests directions for further development.},
number = {26-04},
year = {2026},
month = {April},
keywords = {industrial optimization, domain-specific languages, constraint solving, formal languages, translation},
sponsor = {Supported by the FFG project FO999923579 “InProSSA: Industrial Problem Solving Using Symbolic and Subsymbolic AI”},
length = {88},
license = {CC BY 4.0 International},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}
