I created a program for an unsolveable equation system. My friend somehow forced it to solve the equations. Can you tell me how he did it?
This challenge asks us to solve the following equations.
Solve the following equations:
Obviously, the solution exists only if the integer overflow exists. I use Z3 to solve this problem.
from z3 import Solver, BitVec
$ python solve.py