You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
9 lines
158 B
9 lines
158 B
from z3 import *
|
|
|
|
x, y = Ints("x y")
|
|
|
|
solver = Solver()
|
|
# Check if for all x and y, s.t. if x < 0 and y < 0, x + y < 0
|
|
|
|
result = solver.check()
|
|
print(result)
|