Othman, A. M. (2017). Python MiniZinc Maker (Version 1.0.0) [Computer software]. https://doi.org/10.5281/zenodo.15126980