Lazy clause generation solvers, scheduling and packing problems, running the MiniZinc challenge.