evaluator

The evaluator used by the solver.