doi: 10.5281/zenodo.19348397
A DSL and translator for expressing optimization problems and compiling them to MiniZinc.