minizinc 2.9.7+dfsg1-1 medium