-
Notifications
You must be signed in to change notification settings - Fork 2
/
Copy pathpyproject.toml
110 lines (99 loc) · 2.46 KB
/
pyproject.toml
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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
[tool.poetry]
name = "graphsat"
version = "0.1"
description = "A python package for working with Graphs and Satisfiability"
authors = ["Vaibhav Karve <[email protected]>",
"Anil N. Hirari <[email protected]>"]
license = "GPL-3.0-or-later"
keywords = ["graph", "hypergraph", "multigraph", "typed"]
classifiers=[
'Development Status :: 4 - Beta',
'Intended Audience :: Science/Research',
'License :: OSI Approved :: GNU General Public License v3 (GPLv3)',
'Natural Language :: English',
'Operating System :: OS Independent',
'Programming Language :: Python :: 3.10',
'Topic :: Scientific/Engineering :: Mathematics',
'Typing :: Typed'
]
[tool.poetry.dependencies]
python = "^3.10"
anytree = "^2.8.0"
attrs = "<22"
jupyterlab = "^3.4.4"
loguru = "^0.6.0"
more-itertools = "^8.14.0"
tqdm = "^4.64.0"
multipledispatch = "^0.6.0"
mypy = "^0.971"
normal-form = "^0.1.2"
python-sat = {extras = ["pblib", "aiger"], version = "^0.1.7.dev19"}
tabulate = "^0.8.10"
typer = "^0.6.1"
safety = "^2.1.1"
colorama = "^0.4.5"
pylint = "^2.14.5"
wheel = ">=0.37.1"
[tool.poetry.dev-dependencies]
autoflake = "^1.4"
coverage = "^6.4.3"
hypothesis = {extras = ["cli"], version = "^6.54.4"}
isort = "^5.10.1"
line-profiler = "^3.5.1"
nbmake = "^1.3.3"
nbstripout = "^0.6.0"
pdbpp = "^0.10.3"
pytest = "^7.1.2"
pytest-cov = "^3.0.0"
pytest-parallel = "^0.1.1"
types-colorama = "^0.4.15"
types-tqdm = "^4.64.4"
nbqa = "^1.4.0"
libcst = "^0.4.7"
[tool.poetry.group.dev.dependencies]
interrogate = {extras = ["png"], version = "^1.5.0"}
types-tabulate = "^0.8.11"
[build-system]
requires = ["poetry-core>=1.2.0"]
build-backend = "poetry.core.masonry.api"
[tool.pytest.ini_options]
testpaths = ["tests"]
norecursedirs = [
"literate_docs",
"sio2"
]
[tool.mypy]
python_version = "3.10"
mypy_path = ["stubs"]
warn_return_any = true
warn_unused_configs = true
warn_unreachable = true
strict = true
disallow_untyped_defs = true
disallow_any_unimported = true
show_error_codes = true
files = [
"graphsat/",
"tests/",
]
[tool.pyright]
include = ["graphsat", "tests", "benchmarking", "stubs"]
exclude = [
"sio2",
"**/__pycache__",
"sphinx_docs",
"literate_docs",
]
ignore = []
defineConstant = { DEBUG = true }
stubPath = "stubs"
reportMissingImports = true
reportMissingTypeStubs = false
pythonVersion = "3.10"
venvPath="~/.cache/pypoetry/virtualenvs/"
[tool.pylint]
py-version = "3.10"
disable = [
"unsubscriptable-object",
"invalid-name",
]