Ilog Solver
A commercial
constraint
programming system.
(15 Nov 1994)