Home
last modified time | relevance | path

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

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/msat/
H A Dmsat.h107 extern Msat_IntVec_t * Msat_SolverReadVarsUsed( Msat_Solver_t * p );
H A DmsatSolverApi.c136 Msat_IntVec_t * Msat_SolverReadVarsUsed( Msat_Solver_t * p ) in Msat_SolverReadVarsUsed() function
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fraig/
H A DfraigMan.c334 p->vVarsUsed = Msat_SolverReadVarsUsed( p->pSat ); in Fraig_ManCreateSolver()