Python Sympy erfüllbar vs. lösbar?
Posted: 15 Jan 2025, 18:16
Ich lerne, Sympy zu verwenden und tue es
was richtig ist. Aber wenn ich den letzten Teil dieser Anweisung ändere
Code: Select all
>>> 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
Code: Select all
>>> print(satisfiable((x > 3) & (x