diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-12-08 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-12-08 08:01:00 -0800 |
| commit | 65687f72ae77440628c21d63966656c1049c4981 (patch) | |
| tree | 27a4c7800e372349f1521daac76c0b30e2578ca1 /src/aig/fra/fraCec.c | |
| parent | 369f008e69a4f201cbc7c890a08221086bee4698 (diff) | |
| download | abc-65687f72ae77440628c21d63966656c1049c4981.tar.gz abc-65687f72ae77440628c21d63966656c1049c4981.tar.bz2 abc-65687f72ae77440628c21d63966656c1049c4981.zip | |
Version abc71208
Diffstat (limited to 'src/aig/fra/fraCec.c')
| -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 3e69e02f..bdab25dd 100644 --- a/src/aig/fra/fraCec.c +++ b/src/aig/fra/fraCec.c @@ -54,7 +54,7 @@ int Fra_FraigSat( Aig_Man_t * pMan, sint64 nConfLimit, sint64 nInsLimit, int fVe pCnf = Cnf_Derive( pMan, 0 ); // pCnf = Cnf_DeriveSimple( pMan, 0 ); // convert into the SAT solver - pSat = Cnf_DataWriteIntoSolver( pCnf ); + pSat = Cnf_DataWriteIntoSolver( pCnf, 1, 0 ); vCiIds = Cnf_DataCollectPiSatNums( pCnf, pMan ); Cnf_DataFree( pCnf ); // solve SAT |