Home
last modified time | relevance | path

Searched refs:btor_sat_deref (Results 1 – 3 of 3) sorted by relevance

/dports/math/boolector/boolector-3.2.2/src/
H A Dbtorsat.h159 int32_t btor_sat_deref (BtorSATMgr *smgr, int32_t lit);
H A Dbtorsat.c416 btor_sat_deref (BtorSATMgr *smgr, int32_t lit) in btor_sat_deref() function
H A Dbtoraig.c1479 val = btor_sat_deref (amgr->smgr, BTOR_REAL_ADDR_AIG (aig)->cnf_id); in btor_aig_get_assignment()