diff options
Diffstat (limited to 'src/prop/sat_module.cpp')
| -rw-r--r-- | src/prop/sat_module.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/prop/sat_module.cpp b/src/prop/sat_module.cpp index 9391acbe5..db911f488 100644 --- a/src/prop/sat_module.cpp +++ b/src/prop/sat_module.cpp @@ -383,6 +383,9 @@ SatLiteralValue DPLLMinisatSatSolver::modelValue(SatLiteral l){ return toSatLiteralValue(d_minisat->modelValue(toMinisatLit(l))); } +bool DPLLMinisatSatSolver::properExplanation(SatLiteral lit, SatLiteral expl) const { + return true; +} /** Incremental interface */ |