abc/src/sat/bsat/satSolver.c
// removing one assumption from the stack of assumptions
removing one assumption from the stack of assumptions
removing one assumption from the stack of assumptions
void sat_solver_pop(sat_solver* s)
{
    assert( sat_solver_dl(s) > 0 );
    sat_solver_canceluntil(s, --s->root_level);
}
void sat_solver_pop ( sat_solver * s ) { assert ( sat_solver_dl ( s ) > 0 ) ; sat_solver_canceluntil ( s , -- s -> root_level ) ; }
removing one assumption from the stack of assumptions
removing one assumption from the stack of assumptions