From de695c9d4c5fbc0e48e30d8aeefd8fe1f9a51507 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 12 Jan 2016 11:55:50 -0800
Subject: Better print-out of SOPs. Changing default of 'fx'. Updating 'satclp'
 to fine prine SOPs.

---
 src/base/abci/abcFxu.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/base/abci/abcFxu.c')

diff --git a/src/base/abci/abcFxu.c b/src/base/abci/abcFxu.c
index d2221f4e..8da306bf 100644
--- a/src/base/abci/abcFxu.c
+++ b/src/base/abci/abcFxu.c
@@ -56,7 +56,7 @@ void Abc_NtkSetDefaultFxParams( Fxu_Data_t * p )
     p->nPairsMax  =  30000;
     p->nNodesExt  =1000000;
     p->WeightMin  =      0;
-    p->LitCountMax=      0;
+    p->LitCountMax=      4;
     p->fOnlyS     =      0;
     p->fOnlyD     =      0;
     p->fUse0      =      0;
-- 
cgit v1.2.3