MiniZinc: new models: bracket_partitioning.mzn contiguity_mip.mzn contiguity_mip2.mzn random_generator.mzn random_generator2.mzn random_set.mzn scalar_product.mzn. Updated many var float models after testing with Gecode and ECLiPSe/ic
Picat: new hidato3.pi minimum_except_0.pi. Changed: alphametic2.pi amb.pi mankell.pi utils_me.pi
OscaR: changed models