Two type extensions for the constraint modeling language MiniZinc | Publicación