diff options
Diffstat (limited to 'src/aig/ssw/sswCnf.c')
| -rw-r--r-- | src/aig/ssw/sswCnf.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/aig/ssw/sswCnf.c b/src/aig/ssw/sswCnf.c index d068bb78..c5ea9b28 100644 --- a/src/aig/ssw/sswCnf.c +++ b/src/aig/ssw/sswCnf.c @@ -77,6 +77,8 @@ Ssw_Sat_t * Ssw_SatStart( int fPolarFlip ) ***********************************************************************/ void Ssw_SatStop( Ssw_Sat_t * p ) { +// printf( "Recycling SAT solver with %d vars and %d restarts.\n", +// p->pSat->size, p->pSat->stats.starts ); if ( p->pSat ) sat_solver_delete( p->pSat ); Vec_IntFree( p->vSatVars ); |