From 4cf046c94d55ae9c81c8656bb39e76a6c9ec2be5 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 3 Mar 2017 15:18:10 -0800
Subject: [PATCH] Clone of the main SAT solver to eneable independent work.

---
 src/aig/gia/module.make  | 1 +
 src/sat/bsat/module.make | 1 +
 2 files changed, 2 insertions(+)

diff --git a/src/aig/gia/module.make b/src/aig/gia/module.make
index 0ddf98331..82d5a1235 100644
--- a/src/aig/gia/module.make
+++ b/src/aig/gia/module.make
@@ -60,6 +60,7 @@ SRC +=    src/aig/gia/giaAig.c \
     src/aig/gia/giaSatLut.c \
     src/aig/gia/giaSatMap.c \
     src/aig/gia/giaSatoko.c \
+    src/aig/gia/giaSat3.c \
     src/aig/gia/giaScl.c \
     src/aig/gia/giaScript.c \
     src/aig/gia/giaShow.c \
diff --git a/src/sat/bsat/module.make b/src/sat/bsat/module.make
index 4e85bece3..1c58785b9 100644
--- a/src/sat/bsat/module.make
+++ b/src/sat/bsat/module.make
@@ -7,6 +7,7 @@ SRC +=  src/sat/bsat/satMem.c \
     src/sat/bsat/satSolver.c \
     src/sat/bsat/satSolver2.c \
     src/sat/bsat/satSolver2i.c \
+    src/sat/bsat/satSolver3.c \
     src/sat/bsat/satStore.c \
     src/sat/bsat/satTrace.c \
     src/sat/bsat/satTruth.c \