From 2f65566d43cf7e2b3d6d0b37dfe37016602188fc Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 13 Nov 2020 00:07:57 -0800 Subject: Duplicating Glucose package. --- src/sat/glucose/AbcGlucose.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src') diff --git a/src/sat/glucose/AbcGlucose.cpp b/src/sat/glucose/AbcGlucose.cpp index 5ff2b120..f6eada93 100644 --- a/src/sat/glucose/AbcGlucose.cpp +++ b/src/sat/glucose/AbcGlucose.cpp @@ -58,7 +58,7 @@ using namespace Gluco; SeeAlso [] ***********************************************************************/ -Gluco::SimpSolver * glucose_solver_start() +SimpSolver * glucose_solver_start() { SimpSolver * S = new SimpSolver; S->setIncrementalMode(); @@ -339,7 +339,7 @@ int bmcg_sat_solver_add_and( bmcg_sat_solver * s, int iVar, int iVar0, int iVar1 SeeAlso [] ***********************************************************************/ -Gluco::Solver * glucose_solver_start() +Solver * glucose_solver_start() { Solver * S = new Solver; S->setIncrementalMode(); -- cgit v1.2.3