From 65687f72ae77440628c21d63966656c1049c4981 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 8 Dec 2007 08:01:00 -0800 Subject: Version abc71208 --- src/aig/fra/fraCec.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/aig/fra/fraCec.c') 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 -- cgit v1.2.3