IBM ILOG CP Optimizer is a commercial constraint programming optimizer which is owned and sold by IBM.