From 8dd31fb4a96f63fb24549019ea14ec6d3dc41d8e Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 12 Jan 2016 22:07:01 -0800
Subject: Integrating new CNF generation into &bmc.

---
 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 19a4679d..bdb5905a 100644
--- a/src/sat/bmc/bmc.h
+++ b/src/sat/bmc/bmc.h
@@ -83,6 +83,7 @@ struct Bmc_AndPar_t_
     int         nFramesAdd;     // the number of additional frames
     int         nConfLimit;     // maximum number of conflicts at a node
     int         nTimeOut;       // timeout in seconds
+    int         nLutSize;       // LUT size for cut computation
     int         fLoadCnf;       // dynamic CNF loading
     int         fDumpFrames;    // dump unrolled timeframes
     int         fUseSynth;      // use synthesis
-- 
cgit v1.2.3