Python Sympy выполним или разрешим? ⇐ Python

[Anonymous]

Я учусь использовать Sympy и делаю это

Код: Выделить всё

>>> from sympy import *
>>> x, y, z, t = symbols('x y z t')
>>> k, m, n = symbols('k m n', integer=True)
>>> f, g, h = symbols('f g h', cls=Function)
>>> init_printing()
>>> satisfiable((x > 3) & (x == 1))
False

это правильно. Но если я изменю последнюю часть этой инструкции

Код: Выделить всё

>>> print(satisfiable((x > 3) & (x 

Подробнее здесь: [url]https://stackoverflow.com/questions/79355908/python-sympy-satisfiable-vs-solveable[/url]