diff options
| author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2020-12-14 13:14:59 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-14 10:14:59 -0600 |
| commit | c51920039f10864f813ae1a4b4e765264a322256 (patch) | |
| tree | 5ff31e640bc08882252a39a0255614359f03c62a /src/prop/sat_solver_factory.cpp | |
| parent | dddddbfa12aaeb433074382fb9e2b4c9c92c8a66 (diff) | |
[proof-new] Updating interfaces between prop engine and minisat (#5664)
This is in preparation to make the prop engine proof producing. This PR also renames "DPLLSatSolverInterface" to the more appropriate name "CDCLTSatSolverInterface".
Note that most of the diff is due to formatting of the previously super ad-hoc formatting of the minisat code.
Diffstat (limited to 'src/prop/sat_solver_factory.cpp')
| -rw-r--r-- | src/prop/sat_solver_factory.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/prop/sat_solver_factory.cpp b/src/prop/sat_solver_factory.cpp index cfdbc8b04..c6213f5a0 100644 --- a/src/prop/sat_solver_factory.cpp +++ b/src/prop/sat_solver_factory.cpp @@ -33,7 +33,7 @@ BVSatSolverInterface* SatSolverFactory::createMinisat( return new BVMinisatSatSolver(registry, mainSatContext, name); } -DPLLSatSolverInterface* SatSolverFactory::createDPLLMinisat( +MinisatSatSolver* SatSolverFactory::createCDCLTMinisat( StatisticsRegistry* registry) { return new MinisatSatSolver(registry); |