Adding Glucose 3.0 as a separate package.

9e0184c1 · Alan Mishchenko · 9e46ebe3 · 9e0184c1
Commit 9e0184c1 authored Sep 06, 2017 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 6 additions and 0 deletions

src/sat/glucose/module.make
+6 -0

No files found.
--- a/src/sat/glucose/module.make
+++ b/src/sat/glucose/module.make
+SRC +=    src/sat/glucose/AbcGlucose.cpp \
+    src/sat/glucose/AbcGlucoseCmd.cpp \
+    src/sat/glucose/Glucose.cpp \
+    src/sat/glucose/Options.cpp \
+    src/sat/glucose/SimpSolver.cpp \
+    src/sat/glucose/System.cpp