The MiniZinc standard library.