Stochastic MiniZinc, efficient algorithms for stochastic combinatorial problems.