MiniZinc: mostly var float/nonlinear models
Picat: fixes, bad CP approach etc