Constraint

Constraint classes and functions

Class

amplify.Constraint

Constraint class representing equality or inequality conditions on polynomial expressions.

amplify.ConstraintList

List-like container of Constraint objects.

Functions

amplify.equal_to

Create an equality constraint.

amplify.one_hot

Create a one-hot constraint.

amplify.less_equal

Create a less-than-or-equal constraint.

amplify.greater_equal

Create a greater-than-or-equal constraint.

amplify.clamp

Create a range constraint.

amplify.domain_wall

Create domain wall constraints for a variable array.

Enum

amplify.PenaltyFormulation

Penalty function formulation strategy used for constraint conversion.