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 |
| Variable coefficient |
Positive integer |
| Constant term |
Positive integer |
Objective Functions
| Objective amount |
Single |
| Variable type |
Binary |
Integer |
| Expression type |
Polynomial |
| Variable coefficient |
Integer or float |