This should be ValueError. Like `ValueError("'algorithm' must be one of ['dpll', 'dpll2']")`.