6.3. Verifier

The verifier is a problemspecific component and has to be provided by the user. For SAT-problems it check if the calculated solution is correct.