Model analysis and transformation, solver backends, stochastic MiniZinc, MiniSearch.