[project]
name = "table-madness"
version = "0.1.0"
description = "Add your description here"
readme = "README.md"
requires-python = ">=3.13"
dependencies = [
    "z3-solver>=4.16.0.0",
]