| 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", |
| ], |
| ) |
|
|
