CPSolver.Model behaviour (Fixpoint v0.3.1)

Summary

Callbacks

@callback constraints() :: [CPSolver.Constraint.t()]