Improve memory efficiency by deleting Z3_context on drop of Z3Solver#11
Merged
hermanventer merged 2 commits intoendorlabs:mainfrom davidsemakula:z3-solverNov 28, 2024
+47-36
Commits
Commits on Nov 26, 2024
Commits on Nov 27, 2024
- committed