diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2006-10-07 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2006-10-07 08:01:00 -0700 |
| commit | 73bb7932f7edad95086d67a795444537c438309e (patch) | |
| tree | 43ce6255913e15ecb3f4f8a41ac531d6679ddcf1 /src/sat/csat/csat_apis.c | |
| parent | 0da555cb481696efd78d9c5dc6293b6a95d1ffd5 (diff) | |
| download | abc-73bb7932f7edad95086d67a795444537c438309e.tar.gz abc-73bb7932f7edad95086d67a795444537c438309e.tar.bz2 abc-73bb7932f7edad95086d67a795444537c438309e.zip | |
Version abc61007
Diffstat (limited to 'src/sat/csat/csat_apis.c')
| -rw-r--r-- | src/sat/csat/csat_apis.c | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/sat/csat/csat_apis.c b/src/sat/csat/csat_apis.c index 76543e37..5bf0158c 100644 --- a/src/sat/csat/csat_apis.c +++ b/src/sat/csat/csat_apis.c @@ -571,8 +571,8 @@ void ABC_SolveInit( ABC_Manager mng ) if ( mng->pTarget ) Abc_NtkDelete( mng->pTarget ); // set the new target network - mng->pTarget = Abc_NtkCreateTarget( mng->pNtk, mng->vNodes, mng->vValues ); - +// mng->pTarget = Abc_NtkCreateTarget( mng->pNtk, mng->vNodes, mng->vValues ); + mng->pTarget = Abc_NtkStrash( mng->pNtk, 0, 1 ); } /**Function************************************************************* @@ -614,7 +614,8 @@ enum CSAT_StatusT ABC_Solve( ABC_Manager mng ) if ( mng->mode ) RetValue = Abc_NtkMiterSat( mng->pTarget, (sint64)pParams->nMiteringLimitLast, (sint64)0, 0, 0, NULL, NULL ); else - RetValue = Abc_NtkMiterProve( &mng->pTarget, pParams ); +// RetValue = Abc_NtkMiterProve( &mng->pTarget, pParams ); // old CEC engine + RetValue = Abc_NtkIvyProve( &mng->pTarget, pParams ); // new CEC engine // analyze the result mng->pResult = ABC_TargetResAlloc( Abc_NtkCiNum(mng->pTarget) ); |