CPSolver.Model behaviour (Fixpoint v0.4.0)

Summary

Callbacks

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