File size: 817 Bytes
ab54eb4 | 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 | [build-system]
requires = ["hatchling"]
build-backend = "hatchling.build"
[project]
name = "aprover"
version = "0.1.0"
description = "AProver: Agentic Prover — a suite of LLM-driven formal verification agents"
requires-python = ">=3.12"
dependencies = [
"anthropic>=0.40.0",
"tree-sitter>=0.21.0",
"tree-sitter-c>=0.21.0",
"tree-sitter-rust>=0.21.0",
"rich>=13.0.0",
"pydantic>=2.0.0",
]
[project.optional-dependencies]
dev = [
"pytest>=8.0.0",
]
[tool.pytest.ini_options]
testpaths = ["tests"]
python_files = ["test_*.py"]
python_classes = ["Test*"]
python_functions = ["test_*"]
[project.scripts]
bmc-agent = "bmc_agent.cli:main"
aprover = "aprover.cli:main"
[tool.hatch.build.targets.wheel]
packages = ["aprover", "bmc_agent"]
[dependency-groups]
dev = [
"pytest>=8.0.0",
]
|