-
Notifications
You must be signed in to change notification settings - Fork 6
/
Copy pathpyproject.toml
128 lines (108 loc) · 2.99 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
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
[project]
name = "oxidd"
version = "0.9.0"
description = "Decision Diagrams"
requires-python = ">=3.9"
keywords = ["Decision Diagrams", "BDD", "ZBDD", "ZDD"]
authors = [{ name = "OxiDD Contributors", email = "[email protected]" }]
maintainers = [{ name = "Nils Husung", email = "[email protected]" }]
readme = "bindings/python/README.md"
dependencies = ["typing-extensions ~= 4.0"]
# see https://pypi.org/classifiers/
classifiers = [
"Development Status :: 4 - Beta",
"License :: OSI Approved :: MIT License",
"License :: OSI Approved :: Apache Software License",
"Programming Language :: C",
"Programming Language :: C++",
"Programming Language :: Python :: 3",
"Programming Language :: Python :: 3 :: Only",
"Programming Language :: Python :: 3.9",
"Programming Language :: Python :: 3.10",
"Programming Language :: Python :: 3.11",
"Programming Language :: Python :: 3.12",
"Programming Language :: Python :: 3.13",
"Programming Language :: Rust",
"Topic :: Scientific/Engineering",
"Typing :: Typed",
]
[project.urls]
Homepage = "https://oxidd.net"
Documentation = "https://oxidd.net/api/python/dev/getting-started.html"
Repository = "https://github.com/OxiDD/oxidd"
Issues = "https://github.com/OxiDD/oxidd/issues"
[project.optional-dependencies]
# spell-checker:ignore pydata
dev = ["mypy ~= 1.13", "pyright ~= 1.1", "ruff ~= 0.7"]
docs = ["Sphinx ~= 8.0", "pydata-sphinx-theme ~= 0.16"]
test = ["pytest >= 8.0"]
[build-system]
requires = ["maturin ~= 1.7.4"]
build-backend = "maturin"
[tool.maturin]
# spell-checker:ignore auditwheel
python-source = "bindings/python"
include = ["bindings/python/oxidd/_oxidd.pyi"]
exclude = [
"bindings/python/oxidd/tests/**",
"crates/oxidd-ffi-python/build.rs",
"crates/oxidd-ffi-python/stub_gen/**",
]
module-name = "oxidd._oxidd"
manifest-path = "crates/oxidd-ffi-python/Cargo.toml"
auditwheel = "check"
[tool.pyright]
include = ["bindings/python"]
pythonVersion = "3.9"
typeCheckingMode = "strict"
[tool.mypy]
packages = ["oxidd"]
python_version = "3.9"
strict = true
[tool.ruff]
target-version = "py39"
[tool.ruff.lint]
# spell-checker:ignore dunder
select = [
# Pyflakes
"F",
# pycodestyle
"E",
# isort
"I",
# pep8-naming
"N",
# pydocstyle
"D",
# pyupgrade
"UP",
# flake8
"B",
"FA",
"PIE",
"Q",
"RET",
"SIM",
# pylint
"PLE",
# ruff
"RUF",
]
ignore = [
"D203", # one-blank-line-before-class
"D213", # multi-line-summary-second-line
"D401", # non-imperative-mood
"D413", # blank-line-after-last-section
"D415", # ends-in-punctuation (we have ends-in-period)
"RUF001", # ambiguous-unicode-character-string
"RUF002", # ambiguous-unicode-character-docstring
"RUF003", # ambiguous-unicode-character-comment
"RUF022", # unsorted-dunder-all (order is relevant for docs)
]
[tool.ruff.format]
docstring-code-format = true
[tool.ruff.lint.per-file-ignores]
"_oxidd.pyi" = ["E501"] # ignore too long lines
[tool.pytest.ini_options]
# spell-checker:ignore testpaths
testpaths = ["bindings/python/oxidd"]