AutoSAT/setup.py at master · ssfc/AutoSAT · 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
# 通过 setuptools 配置和安装 AutoSAT 项目（一个利用 LLM 自动优化 SAT 求解器的框架）

import os
from setuptools import find_packages, setup  # Python 官方推荐的打包工具。

setup(
    name="autosat",
    packages=[package for package in find_packages() if package.startswith("autosat")],
    install_requires=[
        "ray[all] == 2.8.0",  # Ray 分布式计算框架（[all] 表示安装全部可选组件）。
        "jinja2 == 3.1.2",  # 模板引擎，用于动态生成代码或配置。
        "openai == 0.28.0",  # 调用 OpenAI 接口的 SDK（用于与 LLM 交互）。
    ],
    extras_require={
        "tests": [
            # Run tests and coverage
            "pytest",
            "pytest-cov",
            "pytest-env",
            "pytest-xdist",
            # Type check
            "pytype",
            "mypy",
            # Lint code (flake8 replacement)
            "ruff",
            # Sort imports
            "isort>=5.0",
            # Reformat
            "black",
        ],
        "docs": [
            "sphinx>=5.3,<7.0",
            "sphinx-autobuild",
            "sphinx-rtd-theme",
            # For spelling
            "sphinxcontrib.spelling",
            # Type hints support
            "sphinx-autodoc-typehints",
            # Copy button for code snippets
            "sphinx_copybutton",
        ],
    },

    # 6. 项目信息: 描述、作者、版本、许可证、关键词、最低 Python 版本（3.8+）。
    description="implementations of automatically optimizing SAT Solvers via LLMs.",
    author="Yiwen Sun, Xianyin Zhang, Shiyu Huang",
    url="https://github.com/YiwenAI/AutoSAT",
    author_email="ywsun22@m.fudan.edu.cn",
    keywords="LLMs SAT solvers automatic",
    license="MIT",
    version="0.1",
    python_requires=">=3.8",
    # PyPI package information.
    project_urls={
        "Code": "https://github.com/YiwenAI/AutoSAT",
        "Paper": "https://arxiv.org/abs/2402.10705",
    },

    # 让 PyPI 知道此包支持的 Python 版本和类型。
    classifiers=[
        "Programming Language :: Python :: 3",
        "Programming Language :: Python :: 3.8",
        "Programming Language :: Python :: 3.9",
        "Programming Language :: Python :: 3.10",
        "Programming Language :: Python :: 3.11",
    ],
)