-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathsetup.py
40 lines (36 loc) · 1.3 KB
/
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
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
import exh
from setuptools import setup
long_desc = """\
Exh
===========================
``Exh`` is a package for computing the exhaustification of logical formulas.
You can write formulas in a convenient legible syntax. You can compute alternatives automatically.
You can compute innocently excludable and includable alternatives.
A introductory tutorial can be found [here](https://github.com/KenyC/Exh/blob/master/examples/tutorial/Tutorial.ipynb).
Other tutorials covering more advanced features and more complicated examples are available in [the `examples` folder of the GitHub repository](https://github.com/KenyC/Exh/tree/master/examples).
"""
setup(
name = "Exh",
version = exh.__version__,
description = "Computes innocent exclusion/inclusions exhaustivity",
long_description = long_desc,
long_description_content_type = "text/markdown",
url = "http://github.com/KenyC/Exh",
author = "Keny Chatain",
author_email = "[email protected]",
license = "MIT",
packages = [
"exh",
"exh.model",
"exh.utils",
"exh.prop",
"exh.exts.gq",
"exh.exts.focus",
"exh.fol"
],
install_requires = [
"numpy",
"IPython"
],
zip_safe = True
)