SDP-CROWN_auto-verify/pyproject.toml at main · henba1/SDP-CROWN_auto-verify · 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
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
[build-system]
requires = ["hatchling>=1.25"]
build-backend = "hatchling.build"

[project]
name = "sdp-crown"
version = "0.1.0"
description = "Environment for SDP-CROWN / VERONA experiments (generated from conda list)."
readme = "README.md"
requires-python = ">=3.11,<3.13"

dependencies = [
    "ada-verona==1.0.3",
    "attrs==25.4.0",
    "coloredlogs==15.0.1",
    "comet-ml==3.54.1",
    "configobj==5.0.9",
    "contourpy==1.3.3",
    "cycler==0.12.1",
    "dulwich==0.24.10",
    "everett==3.1.0",
    "filelock==3.13.1",
    "flatbuffers==24.3.25",
    "fonttools==4.60.1",
    "fsspec==2024.6.0",
    "graphviz==0.20.3",
    "gurobipy==11.0.2",
    "humanfriendly==10.0",
    "idna==3.7",
    "jinja2==3.1.4",
    "joblib==1.4.2",
    "jsonschema==4.25.1",
    "jsonschema-specifications==2025.9.1",
    "kiwisolver==1.4.9",
    "markdown-it-py==2.2.0",
    "markupsafe==2.1.3",
    "matplotlib==3.10.7",
    "mdurl==0.1.0",
    "mpmath==1.3.0",
    "networkx==3.2.1",
    "numexpr==2.8.7",
    "numpy==1.26.4",
    "onnx==1.17.0",
    "onnx2pytorch==0.4.1",
    "onnx2torch==1.5.15",
    "onnxconverter-common==1.16.0",
    "onnxoptimizer==0.3.13",
    "onnxruntime==1.18.0",
    "onnxsim==0.4.36",
    "packaging==23.2",
    "pandas==2.2.2",
    "pillow==10.3.0",
    "protobuf==4.25.8",
    "psutil==5.9.0",
    "pygments==2.15.1",
    "pyparsing==3.2.5",
    "pysocks==1.7.1",
    "python-box==6.1.0",
    "python-dateutil==2.9.0.post0",
    "pytz==2024.1",
    "pyyaml==6.0.1",
    "referencing==0.37.0",
    "requests==2.32.2",
    "requests-toolbelt==1.0.0",
    "result==0.17.0",
    "rich==13.3.5",
    "rpds-py==0.29.0",
    "scikit-learn==1.4.2",
    "scipy==1.13.1",
    "seaborn==0.13.2",
    "semantic-version==2.10.0",
    "sentry-sdk==2.45.0",
    "simplejson==3.20.2",
    "six==1.16.0",
    "skl2onnx==1.17.0",
    "sortedcontainers==2.4.0",
    "sympy==1.14.0",
    "threadpoolctl==3.5.0",
    "torch==2.9.1",
    "torchaudio",
    "torchvision",
    "tqdm==4.66.4",
    "typing-extensions==4.11.0",
    "tzdata==2024.1",
    "ukkonen==1.0.1",
    "urllib3==2.2.2",
    "wrapt==2.0.1",
    "wurlitzer==3.1.1",
]

[project.optional-dependencies]
dev = [
    "appdirs==1.4.4",
    "cfgv==3.4.0",
    "distlib==0.3.8",
    "identify==2.5.5",
    "iniconfig==1.1.1",
    "nodeenv==1.7.0",
    "pluggy==1.0.0",
    "pre-commit==3.4.0",
    "pytest==7.4.4",
    "virtualenv==20.26.1",
    "wheel==0.43.0",
]