pub fn boolean_equals(
weights: impl Into<Box<[i32]>>,
bools: impl Into<Box<[Literal]>>,
rhs: DomainId,
constraint_tag: ConstraintTag,
) -> impl ConstraintExpand description
Creates the Constraint ∑ weights_i * bools_i == rhs.
pub fn boolean_equals(
weights: impl Into<Box<[i32]>>,
bools: impl Into<Box<[Literal]>>,
rhs: DomainId,
constraint_tag: ConstraintTag,
) -> impl ConstraintCreates the Constraint ∑ weights_i * bools_i == rhs.