CPSolver.Constraint.Sum (Fixpoint v0.8.28)

Summary

Functions

Link to this function

arguments(args)

Callback implementation for CPSolver.Constraint.arguments/1.

Callback implementation for CPSolver.Constraint.new/1.

@spec new(CPSolver.IntVariable.variable_or_view(), [
  CPSolver.IntVariable.variable_or_view()
]) ::
  CPSolver.Constraint.t()