validateSolver is an internal function for
validating whether the solver is appropriate for the task.
validateSolver(config, constraints, purpose = NULL)validateSolver returns TRUE or FALSE.
a config_Shadow or a config_Static object.
a constraints object representing test specifications. Use loadConstraints for this.
the purpose of the task. If SPLIT then extra checks are performed.