Skip to main content

Supported Modeling

Classiq supports a limited set of modeling configurations. The following tables describe them.

Variables

Index SetList or set
DomainBinary(equivalent to [0, 1] list) Bounded NonNegativeIntegers
(equivalent to [0:bound] list)

Constraints

Constraint typeEquality constraintsInequality constraints
Constraint amountMultiple, non overlappingMultiple
Expression typeLinear sum
Variable coefficientPositive integer
Constant termPositive integer

Objective Functions

Objective amountSingle
Variable typeBinaryInteger
Expression typePolynomial
Variable coefficientInteger or float