Searched defs:Z3_del_config (Results 1 – 2 of 2) sorted by relevance
81 void Z3_API Z3_del_config(Z3_config c) { in Z3_del_config() function
84 void Z3_API Z3_del_config(Z3_config c) { in Z3_del_config() function