-
Notifications
You must be signed in to change notification settings - Fork 1
Expand file tree
/
Copy pathsetup.py
More file actions
26 lines (25 loc) 路 698 Bytes
/
Copy pathsetup.py
File metadata and controls
26 lines (25 loc) 路 698 Bytes
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
from setuptools import setup, find_packages
setup(
name='agda-quill',
version='0.1.0',
author='Konstantinos Kogkalidis',
description='Neural premise selection for Agda.',
long_description=open('README.md').read(),
long_description_content_type='text/markdown',
url='https://github.com/konstantinosKokos/quill',
packages=find_packages(where='src'),
package_dir={'': 'src'},
install_requires=[
'torch>=2.4',
'torch-geometric>=2.6',
'fastapi',
'requests',
'pydantic>=2.10'
],
python_requires='>=3.11',
entry_points={
'console_scripts': [
'agda-quill=quill.api.cli:main'
]
}
)