ProofCore-AI-Benchmark/setup.py at main · flamehaven01/ProofCore-AI-Benchmark · 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
"""
ProofCore Python Package Setup
For backend proof verification utilities and Pyodide integration
"""

from setuptools import setup, find_packages
import os

# Read README for long description
def read_file(filename):
    with open(os.path.join(os.path.dirname(__file__), filename), encoding='utf-8') as f:
        return f.read()

setup(
    name='proofbench',
    version='1.0.3',
    description='Next-Generation Mathematical Reasoning & Proof Verification System',
    long_description=read_file('README.md') if os.path.exists('README.md') else '',
    long_description_content_type='text/markdown',
    author='Flamehaven',
    author_email='noreply@flamehaven.com',
    url='https://github.com/flamehaven/proofbench',
    license='MIT',

    packages=find_packages(exclude=["frontend", "scripts", "tests*"]),

    python_requires='>=3.8',

    install_requires=[
        'sympy>=1.12',
        'numpy>=1.24.0',
        'pydantic>=2.0.0',
    ],

    extras_require={
        'dev': [
            'pytest>=7.0.0',
            'pytest-cov>=4.0.0',
            'black>=23.0.0',
            'mypy>=1.0.0',
            'ruff>=0.1.0',
        ],
        'web': [
            'fastapi>=0.104.0',
            'uvicorn>=0.24.0',
            'pydantic-settings>=2.0.0',
        ],
    },

    entry_points={
        'console_scripts': [
            'proofbench=proofbench.cli:main',
        ],
    },

    classifiers=[
        'Development Status :: 4 - Beta',
        'Intended Audience :: Science/Research',
        'Intended Audience :: Education',
        'License :: OSI Approved :: MIT License',
        'Programming Language :: Python :: 3',
        'Programming Language :: Python :: 3.8',
        'Programming Language :: Python :: 3.9',
        'Programming Language :: Python :: 3.10',
        'Programming Language :: Python :: 3.11',
        'Programming Language :: Python :: 3.12',
        'Topic :: Scientific/Engineering :: Mathematics',
        'Topic :: Scientific/Engineering :: Artificial Intelligence',
    ],

    keywords='proof verification mathematics symbolic semantic hybrid reasoning',

    project_urls={
        'Documentation': 'https://proofbench.readthedocs.io',
        'Source': 'https://github.com/flamehaven/proofbench',
        'Tracker': 'https://github.com/flamehaven/proofbench/issues',
    },
)