diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-09-06 20:52:16 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-06 20:52:16 -0500 |
| commit | 1c09572e0e2031519a103caa2a4af0d9bd34a9c5 (patch) | |
| tree | 576012b4e9434bd4b8472b5df766d3836d3145b9 /src/prop | |
| parent | 856701f3b2154646eab6b7898fa33e5917322a7b (diff) | |
Remove portfolio (#3236)
Diffstat (limited to 'src/prop')
| -rw-r--r-- | src/prop/prop_engine.cpp | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/src/prop/prop_engine.cpp b/src/prop/prop_engine.cpp index b12573085..55d8f7222 100644 --- a/src/prop/prop_engine.cpp +++ b/src/prop/prop_engine.cpp @@ -95,12 +95,8 @@ PropEngine::PropEngine(TheoryEngine* te, DecisionEngine *de, Context* satContext d_satSolver = SatSolverFactory::createDPLLMinisat(smtStatisticsRegistry()); d_registrar = new theory::TheoryRegistrar(d_theoryEngine); - d_cnfStream = new CVC4::prop::TseitinCnfStream - (d_satSolver, d_registrar, userContext, - // fullLitToNode Map = - options::threads() > 1 || - options::decisionMode() == decision::DECISION_STRATEGY_RELEVANCY || - ( CVC4_USE_REPLAY && replayLog != NULL )); + d_cnfStream = new CVC4::prop::TseitinCnfStream( + d_satSolver, d_registrar, userContext, true); d_theoryProxy = new TheoryProxy( this, d_theoryEngine, d_decisionEngine, d_context, d_cnfStream, replayLog, |