Module Constraint.WithArray

Constraints with arrays as arguments .

val bool_or : Var.t_bool array -> t

At least one of the literals must be true. Same as Or.

val bool_and : Var.t_bool array -> t

All literals must be true. Same as And.

val bool_xor : Var.t_bool array -> t

An odd number of literals is true. Same as Xor.

val at_most_one : Var.t_bool array -> t

At most one literal is true. Sum literals <= 1. Same as At_most_one.

val exactly_one : Var.t_bool array -> t

Exactly one literal is true. Sum literals == 1. Same as Exactly_one.

val at_least_one : Var.t_bool array -> t

At least one of the literals must be true. Same as Or.

val sum : LinearExpr.t array -> LinearExpr.t

Sum of an array of linear expressions.

val vars : 'a Var.t array -> LinearExpr.t

Sum of an array of variables or boolean literals.