[project]
name = "solve-2"
version = "0.1.0"
description = "Add your description here"
readme = "README.md"
requires-python = ">=3.12"
dependencies = [
    "z3-solver>=4.13.4.0",
]