Ilog Solver

A commercial constraint programming system.