from setuptools import setup, find_packages

setup(
    name="neurosat-solver",
    version="0.1.0",
    description="GPU-Accelerated, Neural Network-Guided SAT Solver",
    long_description=open("README.md").read(),
    long_description_content_type="text/markdown",
    author="ashen-navigator",
    url="https://huggingface.co/ashen-navigator/neurosat-solver",
    packages=find_packages(),
    python_requires=">=3.8",
    install_requires=[
        "numpy>=1.20",
        "torch>=2.0",
        "python-sat>=0.1",
    ],
    extras_require={
        "gnn": ["torch-geometric>=2.0"],
        "dev": ["pytest", "matplotlib"],
    },
    classifiers=[
        "Development Status :: 3 - Alpha",
        "Intended Audience :: Science/Research",
        "Topic :: Scientific/Engineering :: Artificial Intelligence",
        "License :: OSI Approved :: Apache Software License",
        "Programming Language :: Python :: 3",
    ],
)