10 lines
181 B
TOML
10 lines
181 B
TOML
|
[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",
|
||
|
|
]
|