diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2005-09-12 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2005-09-12 08:01:00 -0700 |
| commit | c065b2c5daea65cb98659aa1bb56a138ca7cc290 (patch) | |
| tree | 8a13866910599fe7fe347fa4fbefe8bfd5693550 /src/sat/csat | |
| parent | 798bbfc5a9b6f7dd5b47425c8c7026762451b0ba (diff) | |
| download | abc-c065b2c5daea65cb98659aa1bb56a138ca7cc290.tar.gz abc-c065b2c5daea65cb98659aa1bb56a138ca7cc290.tar.bz2 abc-c065b2c5daea65cb98659aa1bb56a138ca7cc290.zip | |
Version abc50912
Diffstat (limited to 'src/sat/csat')
| -rw-r--r-- | src/sat/csat/csat_apis.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/csat/csat_apis.c b/src/sat/csat/csat_apis.c index 4481297a..37822383 100644 --- a/src/sat/csat/csat_apis.c +++ b/src/sat/csat/csat_apis.c @@ -515,7 +515,7 @@ enum CSAT_StatusT CSAT_Solve( CSAT_Manager mng ) if ( mng->mode == 0 ) // brute-force SAT { - // transfor the AIG into a logic network for efficient CNF construction + // transform the AIG into a logic network for efficient CNF construction pCnf = Abc_NtkRenode( mng->pTarget, 0, 100, 1, 0, 0 ); RetValue = Abc_NtkMiterSat( pCnf, mng->nSeconds, 0 ); |