Skip to content

Supported Modeling

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

Variables

Index Set List or set
Domain Binary(equivalent to [0, 1] list) Bounded NonNegativeIntegers
(equivalent to [0:bound] list)

Constraints

Constraint type Equality constraints Inequality constraints
Constraint amount Multiple, non overlapping Multiple
Expression type Linear sum
Variables coefficient Positive integer
Constant term Positive integer

Objective Functions

Objective amount Single
Variable type Binary Integer
Expression type Polynomial
Variable coefficient Integer or float