Exceptions
ConstraintParserException
InconsistencyException
OnlyBinaryConstraintsAllowedException
OnlyConsistencySolversAllowedException
OnlyPreprocessingSolversAllowedException
OnlySearchSolversAllowedException
StrategyNotFoundException
StrategyParserException
VariableNotFoundException |