-
Notifications
You must be signed in to change notification settings - Fork 2
/
setup.py
24 lines (23 loc) · 687 Bytes
/
setup.py
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
from setuptools import setup, find_packages
setup(
name="knuckledragger",
version="0.1.1",
author="Philip Zucker",
author_email="[email protected]",
description="Interactive Theorem Prover",
long_description=open("README.md").read(),
long_description_content_type="text/markdown",
url="https://github.com/philzook58/knuckledragger",
packages=find_packages(),
classifiers=[
"Programming Language :: Python :: 3",
"License :: OSI Approved :: MIT License",
"Operating System :: OS Independent",
],
install_requires=["z3-solver"],
extras_require={
"dev": [
"pytest>=6.0",
],
},
)