From 97dd6019bf58f12953364855dd7845e6e47eae57 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 6 Sep 2017 19:56:53 -0700
Subject: Integrating Glucose into bmc3 -g.

---
 src/sat/bmc/bmc.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/sat/bmc/bmc.h')

diff --git a/src/sat/bmc/bmc.h b/src/sat/bmc/bmc.h
index 06c503ac..2585c773 100644
--- a/src/sat/bmc/bmc.h
+++ b/src/sat/bmc/bmc.h
@@ -62,6 +62,7 @@ struct Saig_ParBmc_t_
     int         fSkipRand;      // skip random decisions
     int         fNoRestarts;    // disables periodic restarts
     int         fUseSatoko;     // enables using Satoko
+    int         fUseGlucose;    // enables using Glucose 3.0
     int         nLearnedStart;  // starting learned clause limit
     int         nLearnedDelta;  // delta of learned clause limit
     int         nLearnedPerce;  // ratio of learned clause limit
-- 
cgit v1.2.3