Skip to content

Add __enter__ and __exit__ methods to Solver class in Python API#7025

Merged
NikolajBjorner merged 1 commit intoZ3Prover:masterfrom alperaltuntas:add_with_statementNov 30, 2023
+7

Commits

Commits on Nov 29, 2023