Method reset

src/engine/Engine.cpp:2557–2565

}

void Engine::reset()
{
    resetStatistics();
    _sncMode = false;
    clearViolatedPLConstraints();
    resetSmtCore();
    resetBoundTighteners();
    resetExitCode();
}

void Engine::resetStatistics()
{