Searched defs:Z3_optimize_pop (Results 1 – 2 of 2) sorted by relevance
130 unsigned num_decls, in Z3_optimize_pop()
133 void Z3_API Z3_optimize_pop(Z3_context c,Z3_optimize d) { in Z3_optimize_pop() function