Searched defs:solver_cleanup (Results 1 – 2 of 2) sorted by relevance
1663 void solver_cleanup(solver_t* solver) { in solver_cleanup() function
1626 void solver_cleanup(solver_t* solver) { in solver_cleanup() function