All Questions
Tagged with automated-theorem-proving z3
1
question
4
votes
3
answers
345
views
How does Z3 "exhaustively search" real numbers?
I was looking at this tutorial: https://colab.research.google.com/github/philzook58/z3_tutorial/blob/master/Z3%20Tutorial.ipynb#scrollTo=4yuA2Fry68Y6&line=4&uniqifier=1 .
It says "Proof = ...
- 143