From ab8f784b6a623e8c77dbcde10d652de637924ec2 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 13 Aug 2017 13:37:48 +0700
Subject: Experiments with 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 0c1744de..0eac7fb0 100644
--- a/src/sat/bmc/bmc.h
+++ b/src/sat/bmc/bmc.h
@@ -87,6 +87,7 @@ struct Bmc_AndPar_t_
     int         nConfLimit;     // maximum number of conflicts at a node
     int         nTimeOut;       // timeout in seconds
     int         nLutSize;       // LUT size for cut computation
+    int         nProcs;         // the number of parallel solvers
     int         fLoadCnf;       // dynamic CNF loading
     int         fDumpFrames;    // dump unrolled timeframes
     int         fUseSynth;      // use synthesis
-- 
cgit v1.2.3