dftlib/pyproject.toml at main · volkm/dftlib · GitHub

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
[build-system]
requires = ["hatchling >= 1.26"]
build-backend = "hatchling.build"

[project]
name = "dftlib"
description = "dftlib - Python library for dynamic fault tree analysis"
readme = "README.md"
license = "GPL-3.0-or-later"
license-files = ["LICENSE"]
dynamic = ["version"]
authors = [
    { name = "M. Volk", email = "m.volk@tue.nl" }
]
requires-python = ">=3.11"
dependencies = [
    # Currently no dependencies
]
classifiers = [
    'Intended Audience :: Science/Research',
    'Topic :: Scientific/Engineering',
    'Topic :: Software Development :: Libraries :: Python Modules',
]

[project.urls]
Homepage = "https://github.com/volkm/dftlib"
"Bug Tracker" = "https://github.com/volkm/dftlib/issues"

[project.optional-dependencies]
smt = [
    "z3-solver"
]
stormpy = [
    "stormpy>=1.9.0"
]
doc = [
    "Sphinx>=8.2.2",
    "sphinx-nefertiti",
    "sphinx-copybutton",
] # also requires pandoc to be installed
dev = [
    # Formatting
    "black",
]
test = [
    "pytest",
]

[project.scripts]
analyse_smt = "bin.analyse_smt:main"
anonymize = "bin.anonymize:main"
generate_tikz = "bin.generate_tikz:main"
export_galileo = "bin.export_galileo:main"
export_json = "bin.export_json:main"
export_txt = "bin.export_txt:main"
simplify = "simplify:main"

[tool.hatch.version]
path = "dftlib/__init__.py"

[tool.black]
line-length = 160
target-version = [
    "py311",
    "py312",
    "py313",
]

[tool.pytest.ini_options]
minversion = "6.0"
addopts = "--doctest-glob='*.rst'"
testpaths = [
    "tests",
    "doc",
]
python_files = [
    "test*.py",
]
python_functions = [
    "*_test",
    "test_*",
    "example_*",
]