Searched refs:btor_sat_mgr_new (Results 1 – 4 of 4) sorted by relevance
22 d_smgr = btor_sat_mgr_new (d_btor); in SetUp()
94 BtorSATMgr *btor_sat_mgr_new (Btor *btor);
163 btor_sat_mgr_new (Btor *btor) in btor_sat_mgr_new() function
792 amgr->smgr = btor_sat_mgr_new (btor); in btor_aig_mgr_new()