Alex Rivera | Logout

Questions tagged z3

3 questions

Sort by: Newest Votes Active
8
votes
2
answers

What are the limits of reasoning in quantified arithmetic in SMT?

z3 smt cvc4
asked 2013-02-20T19:27:17.700
10
votes
1
answers

equivalence checking with Z3

z3
asked 2012-12-18T09:37:02.390
14
votes
2
answers

Has anyone tried proving Z3 with Z3 itself?

z3 theorem-proving theorem
asked 2011-08-03T09:56:23.760