[[source]]
url = "https://pypi.org/simple"
verify_ssl = true
name = "pypi"

[packages]
sympy = "*"
pysatl = "*"
ruff = "*"
z3 = "*"
ordered-set = "*"

[dev-packages]
importlib = "*"

[requires]
python_version = "3.12"
