MiniZinc: some fixes
Picat: Added MIP models for v0.3