Samsuddin Wira / minizinc