Duplicating Glucose package.

2f65566d · Alan Mishchenko · 5415fe52 · 2f65566d
Commit 2f65566d authored Nov 13, 2020 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

src/sat/glucose/AbcGlucose.cpp
+2 -2

No files found.
--- 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();