Python MiniZinc Maker - Othman, Ahmad M. (2017)