From 19d6e1693a7d15099250f3b1fac47ba282cd4fdb Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 24 Aug 2011 09:33:18 +0700 Subject: Experiments with SPFD-based decomposition. --- src/aig/bdc/bdcSpfd.c | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/aig/bdc/bdcSpfd.c b/src/aig/bdc/bdcSpfd.c index b9e477b0..cd94e66b 100644 --- a/src/aig/bdc/bdcSpfd.c +++ b/src/aig/bdc/bdcSpfd.c @@ -919,7 +919,9 @@ void Bdc_SpfdDecomposeTest() int i, j, k, n, Cost, CostBest = 100000; int clk = clock(); -// return; + return; + +// printf( "%d\n", RAND_MAX ); vDivs = Bdc_SpfdDecomposeTest__( &vWeights ); // vDivs = Bdc_SpfdReadFiles5( &vWeights ); -- cgit v1.2.3