Searched refs:Gia_ManSolveProblem (Results 1 – 3 of 3) sorted by relevance
1791 void Gia_ManSolveProblem( Gia_Man_t * pGia, Emb_Par_t * pPars ) in Gia_ManSolveProblem() function
1468 extern void Gia_ManSolveProblem( Gia_Man_t * pGia, Emb_Par_t * pPars );
37081 Gia_ManSolveProblem( pAbc->pGia, pPars ); in Abc_CommandAbc9Embed()