From c6b962efc803c5d258302e2b8bdf33efb219bc5b Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 6 Dec 2017 13:51:10 -0800
Subject: An improvement to 'twoexact' and 'lutexact'.

---
 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 c046fe07..00c9feb0 100644
--- a/src/sat/bmc/bmc.h
+++ b/src/sat/bmc/bmc.h
@@ -36,6 +36,7 @@
 ABC_NAMESPACE_HEADER_START
 
 //#define USE_NODE_ORDER 1
+//#define USE_FIRST_SPECIAL 1
 
 ////////////////////////////////////////////////////////////////////////
 ///                         BASIC TYPES                              ///
-- 
cgit v1.2.3