CPSolver.Model behaviour (Fixpoint v0.5.11)
Summary
Callbacks
Link to this callback
constraints()
@callback constraints() :: [CPSolver.Constraint.t()]
@callback constraints() :: [CPSolver.Constraint.t()]