diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-09 23:49:30 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-09 23:49:30 -0800 |
commit | f67c0c173d1cfd9b9f732471950124128fa7b317 (patch) | |
tree | 5676b09647d26e8d3d9f2c6fbd169e6bf98c4942 /src/aig/fra | |
parent | eb35f0ef65681f11e7da9c378d8b937d05e3dc03 (diff) | |
download | abc-f67c0c173d1cfd9b9f732471950124128fa7b317.tar.gz abc-f67c0c173d1cfd9b9f732471950124128fa7b317.tar.bz2 abc-f67c0c173d1cfd9b9f732471950124128fa7b317.zip |
Changes to the main SAT solver: fixing performance bug (resetting decay params after each restart), making the SAT solver platform- and runtime-independent (by using interger-based activity).
Diffstat (limited to 'src/aig/fra')
-rw-r--r-- | src/aig/fra/fraCec.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/fra/fraCec.c b/src/aig/fra/fraCec.c index 6e655590..38bf73d9 100644 --- a/src/aig/fra/fraCec.c +++ b/src/aig/fra/fraCec.c @@ -253,7 +253,7 @@ int Fra_FraigSat( Aig_Man_t * pMan, ABC_INT64_T nConfLimit, ABC_INT64_T nInsLimi pMan->pData = Sat_SolverGetModel( pSat, vCiIds->pArray, vCiIds->nSize ); } // free the sat_solver - if ( fVerbose ) +// if ( fVerbose ) Sat_SolverPrintStats( stdout, pSat ); //sat_solver_store_write( pSat, "trace.cnf" ); //sat_solver_store_free( pSat ); |