g++ portability changes.

src/aig/cnf/cnfMan.c

@@ -334,8 +334,9 @@ void Cnf_DataWriteIntoFile( Cnf_Dat_t * p, char * pFileName, int fReadable )
   SeeAlso     []
 
 ***********************************************************************/
-void * Cnf_DataWriteIntoSolverInt( sat_solver * pSat, Cnf_Dat_t * p, int nFrames, int fInit )
+void * Cnf_DataWriteIntoSolverInt( void * pSolver, Cnf_Dat_t * p, int nFrames, int fInit )
 {
+    sat_solver * pSat = (sat_solver *)pSolver;
     int i, f, status;
     assert( nFrames > 0 );
     assert( pSat );

src/aig/saig/saigGlaPba2.c

@@ -419,7 +419,7 @@ Vec_Int_t * Aig_Gla3ManUnsatCore( sat_solver2 * pSat, int nConfMax, int fVerbose
 
     // derive the UNSAT core
     clk = clock();
-    vCore = Sat_ProofCore( pSat );
+    vCore = (Vec_Int_t *)Sat_ProofCore( pSat );
     if ( fVerbose )
     {
         printf( "SAT core contains %8d clauses (out of %8d).   ", Vec_IntSize(vCore), sat_solver2_nclauses(pSat) );

src/base/abci/abcRec.c

@@ -293,7 +293,7 @@ void Abc_NtkRecDumpTruthTables( Abc_ManRec_t * p )
     for ( i = 0; i < p->nBins; i++ )
         for ( pObj = p->pBins[i]; pObj; pObj = pObj->pCopy )
         {
-            pTruth = Vec_PtrEntry(p->vTtNodes, pObj->Id);
+            pTruth = (unsigned *)Vec_PtrEntry(p->vTtNodes, pObj->Id);
             if ( (int)Kit_TruthSupport(pTruth, nVars) != (1<<nVars)-1 )
                 continue;
             Extra_PrintHex( pFile, pTruth, nVars );