CP Optimizer does not guarantee the divisor to be non-zero.

Technote (troubleshooting)


When you have an expression as a divisor in a CP Optimizer model, the divisor can be evaluated as zero.


This is part of the expected behavior and has been documented in CP Optimizer under the operator/ concert function section. Click here to read more about this in CPLEX Optimization Studio 12.4.

Resolving the problem

If you need to guarantee the divisor to be non-zero, then you will need to formulate a constraint to enforce it explicitly.

Cross reference information
Segment Product Component Platform Version Edition
Business Integration IBM ILOG CP Optimizer AIX, Linux, Mac OS X, Solaris, Windows 2.3, 12.3, 12.2 All Editions

Rate this page:

(0 users)Average rating

Add comments

Document information

More support for:

IBM ILOG CPLEX Optimization Studio
Features:Constraint Programming (CP)

Software version:

12.2,, 12.3, 12.4

Operating system(s):

AIX, Linux, Mac OS X, Solaris, Windows

Software edition:

All Editions

Reference #:


Modified date:


Translate my page

Machine Translation

Content navigation