diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-24 09:33:18 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-24 09:33:18 +0700 |
| commit | 19d6e1693a7d15099250f3b1fac47ba282cd4fdb (patch) | |
| tree | fc2585aa4750f756e7917fc988c0568634546741 | |
| parent | 166fba35092bb78818320a93bcb47f0d0af8d84b (diff) | |
| download | abc-19d6e1693a7d15099250f3b1fac47ba282cd4fdb.tar.gz abc-19d6e1693a7d15099250f3b1fac47ba282cd4fdb.tar.bz2 abc-19d6e1693a7d15099250f3b1fac47ba282cd4fdb.zip | |
Experiments with SPFD-based decomposition.
| -rw-r--r-- | src/aig/bdc/bdcSpfd.c | 4 |
1 files changed, 3 insertions, 1 deletions
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 ); |