English Computing Dictionary
◊ ILOG SOLVER
Ilog Solver
A commercial {constraint} programming system.
(1994-11-15)