Crate pumpkin_constraints 

Contains certain constraints which can be used by the Pumpkin solver.

A constraint enforces a relationship between variables. It is defined by one or more propagators (see pumpkin_propagators).

Functions

absolute

Creates the Constraint |signed| = absolute.

all_different

Creates the Constraint that enforces that all the given variables are distinct.

binary_equals

Creates the NegatableConstraint lhs = rhs.

binary_greater_than

Creates the NegatableConstraint lhs > rhs.

binary_greater_than_or_equals

Creates the NegatableConstraint lhs >= rhs.

binary_less_than

Creates the NegatableConstraint lhs < rhs.

binary_less_than_or_equals

Creates the NegatableConstraint lhs <= rhs.

binary_not_equals

Creates the NegatableConstraint lhs != rhs.

boolean_equals

Creates the Constraint ∑ weights_i * bools_i == rhs.

boolean_less_than_or_equals

Creates the Constraint ∑ weights_i * bools_i <= rhs.

clause

Creates the NegatableConstraint \/ literal

conjunction

Creates the NegatableConstraint /\ literal

cumulative

Creates the Cumulative Constraint.

cumulative_with_options

Creates the Cumulative Constraint with the provided CumulativeOptions.

disjunctive_strict

Creates the Disjunctive Constraint (also called the NoOverlap Constraint or the Unary Resource Constraint).

division

Creates the Constraint numerator / denominator = rhs.

element

Creates the element Constraint which states that array[index] = rhs.

equals

Creates the NegatableConstraint ∑ terms_i = rhs.

greater_than

Create the NegatableConstraint ∑ terms_i > rhs.

greater_than_or_equals

Create the NegatableConstraint ∑ terms_i >= rhs.

less_than

Create the NegatableConstraint ∑ terms_i < rhs.

less_than_or_equals

Create the NegatableConstraint ∑ terms_i <= rhs.

maximum

Creates the Constraint max(array) = m.

minimum

Creates the Constraint min(array) = m.

negative_table

Create the negative table NegatableConstraint.

not_equals

Create the NegatableConstraint ∑ terms_i != rhs.

plus

Creates the Constraint a + b = c.

table

Create the table NegatableConstraint.

times

Creates the Constraint a * b = c.