t() :: %CPSolver.Model{
  constraints: [CPSolver.Constraint.t()],
  extra: term(),
  id: reference(),
  name: term(),
  objective: CPSolver.Objective.t(),
  propagators: [CPSolver.Propagator.t()],
  variables: [CPSolver.IntVariable.t()]
}