Searched refs:aig_to_sat_tseitin (Results 1 – 1 of 1) sorted by relevance
1323 aig_to_sat_tseitin (BtorAIGMgr *amgr, BtorAIG *aig) in aig_to_sat_tseitin() function1338 if (!btor_aig_is_const (aig)) aig_to_sat_tseitin (amgr, aig); in btor_aig_to_sat()