The MissingVariables com.tubros.constraints.api.solver.error.SolverError type is produced when an com.tubros.constraints.api.problem.Equation references a com.tubros.constraints.api.solver.Variable which does not exist in the CPS evaluation environment.
The SolverError type is the parent to the category of types which reify [com.
The NoVariablesProvidedError type is produced when there are no com.tubros.constraints.api.solver.Variables given for a com.tubros.constraints.api.solver.Solver to use.
The UnsolvableError type is produced when a CPS solver cannot find a valid solution within the domain of values available.