
solver_constraints_number(-NumberOfConstraints)

   Returns the number of constraints in the gecode solver state

Arguments
   NumberOfConstraints Free variable

Type
   library(gfd)

Description
  Returns the current total number of active constraints (propagators)
  in the gecode solver state.

See Also
   solver_vars_number / 1
