Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey: MiniZinc. Zenodo 2023