The MiniZinc standard library