Design and implementation of MiniZinc, model analysis and transformation, generating efficient FlatZinc for a diverse range of solvers, making MiniZinc easy to use.