MiniZinc
Picat
MiniZinc: new models
B-Prolog: (late) fixes for B-Prolog v8
AMPL: fixed bananas.mod, added set_cov1.dat