3 ms·
Just in case somebody might benefit from finding out how easy it is in python with z3 >>> from z3 import Int, solve >>> x = Int('x') >>> solve([x > 2, x
by Recursing 7y ago
Just in case somebody might benefit from finding out how easy it is in python with z3
>>> from z3 import Int, solve
>>> x = Int('x')
>>> solve([x > 2, x < 5, x % 2 == 0])
[x = 4]
- taeric 7y agoThe argument here is that you used a program to solve an equation. You did not write your program in that way. Indeed, you are using operator overloading/fancy syntax to make this work. If anything, this seems to support the original claim.