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: Clone of the main SAT solver to eneable independent work.

---
 src/sat/bsat/module.make | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/sat')

diff --git a/src/sat/bsat/module.make b/src/sat/bsat/module.make
index 4e85bece..1c58785b 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 \
-- 
cgit v1.2.3