summaryrefslogtreecommitdiffstats
path: root/src/sat/glucose
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2020-11-13 00:07:57 -0800
committerAlan Mishchenko <alanmi@berkeley.edu>2020-11-13 00:07:57 -0800
commit2f65566d43cf7e2b3d6d0b37dfe37016602188fc (patch)
treed85f16525e3717850b9abfd079c110e2bebfb461 /src/sat/glucose
parent5415fe521f0bbc6535524587235cf281d71e16fa (diff)
downloadabc-2f65566d43cf7e2b3d6d0b37dfe37016602188fc.tar.gz
abc-2f65566d43cf7e2b3d6d0b37dfe37016602188fc.tar.bz2
abc-2f65566d43cf7e2b3d6d0b37dfe37016602188fc.zip
Duplicating Glucose package.
Diffstat (limited to 'src/sat/glucose')
-rw-r--r--src/sat/glucose/AbcGlucose.cpp4
1 files changed, 2 insertions, 2 deletions
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();