verify()# SolverTemplate.verify()[source]# Verify the solver. If the solver is already trained, check solve(), copy(), and (if implemented) save() and load(). If the solver is not trained, do nothing.