From 83bc1148a2c0a96e60de7d65f85f3edce9029254 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 20 Oct 2014 11:01:34 -0700
Subject: Adding switch &qbf -q to quantify functional variables.

---
 src/aig/gia/giaQbf.c | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'src/aig')

diff --git a/src/aig/gia/giaQbf.c b/src/aig/gia/giaQbf.c
index 847a8f35..7de3d587 100644
--- a/src/aig/gia/giaQbf.c
+++ b/src/aig/gia/giaQbf.c
@@ -389,8 +389,7 @@ int Gia_QbfSolve( Gia_Man_t * pGia, int nPars, int nIterLimit, int nConfLimit, i
         Gia_QbfOnePattern( p, p->vValues );
         assert( Vec_IntSize(p->vValues) == p->nPars );
         // examine variables
-        if ( i % 50 == 49 )
-            Gia_QbfLearnConstraint( p, p->vValues );
+//        Gia_QbfLearnConstraint( p, p->vValues );
 //        Vec_IntPrintBinary( p->vValues ); printf( "\n" );
         if ( nIterLimit && i+1 == nIterLimit ) { RetValue = -1; break; }
         if ( nTimeOut && (Abc_Clock() - p->clkStart)/CLOCKS_PER_SEC >= nTimeOut ) { RetValue = -1; break; }
-- 
cgit v1.2.3