Method resetSmtCore

src/engine/Engine.cpp:2586–2590

}

void Engine::resetSmtCore()
{
    _smtCore.reset();
    _smtCore.initializeScoreTrackerIfNeeded( _plConstraints );
}

void Engine::resetExitCode()
{