Multi-pass compilation for MiniZinc, constraint solver interfaces, semi-automatic model improvement and debugging.