File size: 933 Bytes
2426b89 | 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 | 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",
],
)
|