that's not an equation
-
-
-
here you go >>> from z3 import * >>> a, b, x = Ints('a b x') >>> solve(ForAll([x], Implies(x == 7, a == b))) [b = 0, a = 0]
- 1 more reply
New conversation -
-
-
synthesizes are guided by templates
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.