Ilog Solver

A commercial constraint programming system.

(15 Nov 1994)