proofofthought/pyproject.toml at main · DebarghaG/proofofthought · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
[build-system]
requires = ["setuptools>=61.0", "wheel", "build"]
build-backend = "setuptools.build_meta"

[project]
name = "proofofthought"
version = "1.0.1"
description = "LLM-based reasoning using Z3 theorem proving"
readme = "README.md"
authors = [
    {name = "Debargha Ganguly", email = "debargha@case.edu"}
]
license = {text = "MIT"}
classifiers = [
    "Development Status :: 4 - Beta",
    "Intended Audience :: Developers",
    "Intended Audience :: Science/Research",
    "License :: OSI Approved :: MIT License",
    "Programming Language :: Python :: 3",
    "Programming Language :: Python :: 3.12",
    "Topic :: Scientific/Engineering :: Artificial Intelligence",
    "Topic :: Software Development :: Libraries :: Python Modules",
]
keywords = ["llm", "reasoning", "z3", "theorem-proving", "smt", "ai"]
requires-python = ">=3.12"
dependencies = [
    "z3-solver>=4.15.0",
    "openai>=2.0.0",
    "scikit-learn>=1.7.0",
    "numpy>=2.3.0",
    "python-dotenv>=1.0.0",
]

[project.optional-dependencies]
dev = [
    "black>=25.9.0",
    "ruff>=0.13.0",
    "mypy>=1.18.0",
    "pre-commit>=4.3.0",
    "pytest>=8.0.0",
]

[project.urls]
Homepage = "https://github.com/debarghaG/proofofthought"
Documentation = "https://github.com/debarghaG/proofofthought#readme"
Repository = "https://github.com/debarghaG/proofofthought"
"Bug Tracker" = "https://github.com/debarghaG/proofofthought/issues"

[tool.black]
line-length = 100
target-version = ["py312"]

[tool.ruff]
# Ruff is used for linting; Black remains the formatter.
target-version = "py312"
line-length = 100

[tool.ruff.lint]
# Core rule sets: pycodestyle/pyflakes/imports/pyupgrade/bugbear
select = ["E", "F", "I", "UP", "B"]
ignore = ["E203", "E501"]

[tool.setuptools]
packages = ["z3adapter", "z3adapter.backends", "z3adapter.dsl", "z3adapter.optimization", "z3adapter.postprocessors", "z3adapter.reasoning", "z3adapter.security", "z3adapter.solvers", "z3adapter.verification"]

[tool.setuptools.package-data]
z3adapter = ["py.typed"]

[tool.mypy]
python_version = "3.12"
# Reasonable strictness for a new integration
disallow_untyped_defs = true
disallow_incomplete_defs = true
check_untyped_defs = true
warn_unused_ignores = true
warn_redundant_casts = true
no_implicit_optional = true
# Many ML/DS libs lack type hints; relax imports to avoid noise
ignore_missing_imports = true
# Skip virtual environment
exclude = "env/"