forked from Verified-Intelligence/alpha-beta-CROWN
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathenvironment.yml
249 lines (249 loc) · 7.5 KB
/
environment.yml
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
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
name: ab-crown
channels:
- gurobi
- pytorch
- http://conda.anaconda.org/gurobi
- defaults
dependencies:
- _libgcc_mutex=0.1=main
- _openmp_mutex=4.5=1_gnu
- _tflow_select=2.3.0=mkl
- abseil-cpp=20211102.0=hd4dd3e8_0
- absl-py=1.4.0=py39h06a4308_0
- aiohttp=3.8.5=py39h5eee18b_0
- aiosignal=1.2.0=pyhd3eb1b0_0
- aom=3.6.0=h6a678d5_0
- appdirs=1.4.4=pyhd3eb1b0_0
- astor=0.8.1=py39h06a4308_0
- astunparse=1.6.3=py_0
- async-timeout=4.0.2=py39h06a4308_0
- asynctest=0.13.0=py_0
- attrs=22.1.0=py39h06a4308_0
- blas=1.0=mkl
- blinker=1.4=py39h06a4308_0
- blosc=1.21.3=h6a678d5_0
- bottleneck=1.3.5=py39h7deecbd_0
- brotli=1.0.9=h5eee18b_7
- brotli-bin=1.0.9=h5eee18b_7
- brotlipy=0.7.0=py39h27cfd23_1003
- brunsli=0.1=h2531618_0
- bzip2=1.0.8=h7b6447c_0
- c-ares=1.19.1=h5eee18b_0
- ca-certificates=2023.08.22=h06a4308_0
- cachetools=4.2.2=pyhd3eb1b0_0
- certifi=2023.7.22=py39h06a4308_0
- cffi=1.15.1=py39h5eee18b_3
- cfitsio=3.470=hf0d0db6_6
- charls=2.2.0=h2531618_0
- charset-normalizer=2.0.4=pyhd3eb1b0_0
- click=8.0.4=py39h06a4308_0
- cloudpickle=2.2.1=py39h06a4308_0
- contourpy=1.0.5=py39hdb19cb5_0
- cryptography=41.0.3=py39hdda0065_0
- cudatoolkit=11.3.1=h2bc3f7f_2
- cycler=0.11.0=pyhd3eb1b0_0
- cyrus-sasl=2.1.28=h52b45da_1
- cytoolz=0.12.0=py39h5eee18b_0
- dask-core=2023.6.0=py39h06a4308_0
- dataclasses=0.8=pyh6d0b6a4_7
- dav1d=1.2.1=h5eee18b_0
- dbus=1.13.18=hb2f20db_0
- expat=2.5.0=h6a678d5_0
- ffmpeg=4.3=hf484d3e_0
- fontconfig=2.14.1=h4c34cd2_2
- fonttools=4.25.0=pyhd3eb1b0_0
- freetype=2.12.1=h4a9f257_0
- frozenlist=1.3.3=py39h5eee18b_0
- fsspec=2023.4.0=py39h06a4308_0
- gast=0.4.0=pyhd3eb1b0_0
- giflib=5.2.1=h5eee18b_3
- glib=2.69.1=he621ea3_2
- gmp=6.2.1=h295c915_3
- gnutls=3.6.15=he1e5248_0
- google-auth=2.22.0=py39h06a4308_0
- google-auth-oauthlib=0.5.2=py39h06a4308_0
- google-pasta=0.2.0=pyhd3eb1b0_0
- grpc-cpp=1.48.2=he1ff14a_1
- grpcio=1.48.2=py39he1ff14a_1
- gst-plugins-base=1.14.1=h6a678d5_1
- gstreamer=1.14.1=h5eee18b_1
- gurobi=9.5.1=py39_0
- h5py=2.10.0=py39hec9cf62_0
- hdf5=1.10.6=hb1b8bf9_0
- icu=58.2=he6710b0_3
- idna=3.4=py39h06a4308_0
- imagecodecs=2023.1.23=py39hc4b7b5f_0
- imageio=2.31.1=py39h06a4308_0
- importlib-metadata=6.0.0=py39h06a4308_0
- importlib_resources=5.2.0=pyhd3eb1b0_1
- intel-openmp=2021.4.0=h06a4308_3561
- jpeg=9e=h5eee18b_1
- jxrlib=1.1=h7b6447c_2
- keras=2.4.3=hd3eb1b0_0
- keras-base=2.4.3=pyhd3eb1b0_0
- keras-preprocessing=1.1.2=pyhd3eb1b0_0
- kiwisolver=1.4.4=py39h6a678d5_0
- krb5=1.20.1=h143b758_1
- lame=3.100=h7b6447c_0
- lcms2=2.12=h3be6417_0
- ld_impl_linux-64=2.38=h1181459_1
- lerc=3.0=h295c915_0
- libaec=1.0.4=he6710b0_1
- libavif=0.11.1=h5eee18b_0
- libbrotlicommon=1.0.9=h5eee18b_7
- libbrotlidec=1.0.9=h5eee18b_7
- libbrotlienc=1.0.9=h5eee18b_7
- libclang=14.0.6=default_hc6dbbc7_1
- libclang13=14.0.6=default_he11475f_1
- libcups=2.4.2=h2d74bed_1
- libcurl=8.2.1=h251f7ec_0
- libdeflate=1.17=h5eee18b_0
- libedit=3.1.20221030=h5eee18b_0
- libev=4.33=h7f8727e_1
- libevent=2.1.12=hdbd6064_1
- libffi=3.4.4=h6a678d5_0
- libgcc-ng=11.2.0=h1234567_1
- libgfortran-ng=7.5.0=ha8ba4b0_17
- libgfortran4=7.5.0=ha8ba4b0_17
- libgomp=11.2.0=h1234567_1
- libiconv=1.16=h7f8727e_2
- libidn2=2.3.4=h5eee18b_0
- libllvm10=10.0.1=hbcb73fb_5
- libllvm14=14.0.6=hdb19cb5_3
- libnghttp2=1.52.0=h2d74bed_1
- libpng=1.6.39=h5eee18b_0
- libpq=12.15=hdbd6064_1
- libprotobuf=3.20.3=he621ea3_0
- libssh2=1.10.0=hdbd6064_2
- libstdcxx-ng=11.2.0=h1234567_1
- libtasn1=4.19.0=h5eee18b_0
- libtiff=4.5.1=h6a678d5_0
- libunistring=0.9.10=h27cfd23_0
- libuuid=1.41.5=h5eee18b_0
- libuv=1.44.2=h5eee18b_0
- libwebp=1.3.2=h11a3e52_0
- libwebp-base=1.3.2=h5eee18b_0
- libxcb=1.15=h7f8727e_0
- libxkbcommon=1.0.1=h5eee18b_1
- libxml2=2.10.4=hcbfbd50_0
- libxslt=1.1.37=h2085143_0
- libzopfli=1.0.3=he6710b0_0
- locket=1.0.0=py39h06a4308_0
- lz4-c=1.9.4=h6a678d5_0
- markdown=3.4.1=py39h06a4308_0
- markupsafe=2.1.1=py39h7f8727e_0
- matplotlib=3.7.2=py39h06a4308_0
- matplotlib-base=3.7.2=py39h1128e8f_0
- mkl=2021.4.0=h06a4308_640
- mkl-service=2.4.0=py39h7f8727e_0
- mkl_fft=1.3.1=py39hd3c417c_0
- mkl_random=1.2.2=py39h51133e4_0
- multidict=6.0.2=py39h5eee18b_0
- munkres=1.1.4=py_0
- mysql=5.7.24=h721c034_2
- ncurses=6.4=h6a678d5_0
- nettle=3.7.3=hbbd107a_1
- networkx=3.1=py39h06a4308_0
- nspr=4.35=h6a678d5_0
- nss=3.89.1=h6a678d5_0
- numexpr=2.8.4=py39he184ba9_0
- oauthlib=3.2.2=py39h06a4308_0
- openh264=2.1.1=h4ff587b_0
- openjpeg=2.4.0=h3ad879b_0
- openssl=3.0.11=h7f8727e_2
- opt_einsum=3.3.0=pyhd3eb1b0_1
- packaging=23.1=py39h06a4308_0
- pandas=2.0.3=py39h1128e8f_0
- partd=1.4.0=py39h06a4308_0
- pcre=8.45=h295c915_0
- pillow=9.4.0=py39h6a678d5_1
- pip=23.2.1=py39h06a4308_0
- ply=3.11=py39h06a4308_0
- psutil=5.9.0=py39h5eee18b_0
- pyasn1=0.4.8=pyhd3eb1b0_0
- pyasn1-modules=0.2.8=py_0
- pycparser=2.21=pyhd3eb1b0_0
- pyjwt=2.4.0=py39h06a4308_0
- pyopenssl=23.2.0=py39h06a4308_0
- pyparsing=3.0.9=py39h06a4308_0
- pyqt=5.15.7=py39h6a678d5_1
- pyqt5-sip=12.11.0=py39h6a678d5_1
- pysocks=1.7.1=py39h06a4308_0
- python=3.9.18=h955ad1f_0
- python-dateutil=2.8.2=pyhd3eb1b0_0
- python-flatbuffers=2.0=pyhd3eb1b0_0
- python-tzdata=2023.3=pyhd3eb1b0_0
- pytorch=1.11.0=py3.9_cuda11.3_cudnn8.2.0_0
- pytorch-mutex=1.0=cuda
- pytz=2023.3.post1=py39h06a4308_0
- pywavelets=1.4.1=py39h5eee18b_0
- pyyaml=6.0=py39h5eee18b_1
- qt=5.15.9=h06a4308_0
- qt-main=5.15.2=h7358343_9
- qt-webengine=5.15.9=h9ab4d14_7
- qtwebkit=5.212=h3fafdc1_5
- re2=2022.04.01=h295c915_0
- readline=8.2=h5eee18b_0
- requests=2.31.0=py39h06a4308_0
- requests-oauthlib=1.3.0=py_0
- rsa=4.7.2=pyhd3eb1b0_1
- scikit-image=0.19.3=py39h6a678d5_1
- setuptools=68.0.0=py39h06a4308_0
- sip=6.6.2=py39h6a678d5_0
- six=1.16.0=pyhd3eb1b0_1
- snappy=1.1.9=h295c915_0
- sortedcontainers=2.4.0=pyhd3eb1b0_0
- sqlite=3.41.2=h5eee18b_0
- tensorboard=2.12.1=py39h06a4308_0
- tensorboard-data-server=0.7.0=py39h52d8a92_0
- tensorboard-plugin-wit=1.8.1=py39h06a4308_0
- tensorflow=2.4.1=mkl_py39h4683426_0
- tensorflow-base=2.4.1=mkl_py39h43e0292_0
- tensorflow-estimator=2.6.0=pyh7b7c402_0
- termcolor=2.1.0=py39h06a4308_0
- tifffile=2023.4.12=py39h06a4308_0
- tk=8.6.12=h1ccaba5_0
- toml=0.10.2=pyhd3eb1b0_0
- toolz=0.12.0=py39h06a4308_0
- torchaudio=0.11.0=py39_cu113
- torchvision=0.12.0=py39_cu113
- tornado=6.3.2=py39h5eee18b_0
- tqdm=4.65.0=py39hb070fc8_0
- typing-extensions=4.7.1=py39h06a4308_0
- typing_extensions=4.7.1=py39h06a4308_0
- tzdata=2023c=h04d1e81_0
- urllib3=1.26.16=py39h06a4308_0
- werkzeug=2.2.3=py39h06a4308_0
- wheel=0.38.4=py39h06a4308_0
- wrapt=1.14.1=py39h5eee18b_0
- xz=5.4.2=h5eee18b_0
- yaml=0.2.5=h7b6447c_0
- yarl=1.8.1=py39h5eee18b_0
- zfp=1.0.0=h6a678d5_0
- zipp=3.11.0=py39h06a4308_0
- zlib=1.2.13=h5eee18b_0
- zstd=1.5.5=hc292b87_0
- pip:
- configspace==0.7.1
- dask-jobqueue==0.8.2
- distributed==2023.6.0
- emcee==3.1.4
- jinja2==3.1.2
- joblib==1.3.2
- more-itertools==10.1.0
- msgpack==1.0.6
- numpy==1.21.0
- onnx==1.11.0
- onnx2pytorch==0.4.1
- onnxruntime==1.11.0
- protobuf==3.20.1
- pynisher==1.0.9
- pyrfr==0.9.0
- regex==2023.8.8
- scikit-learn==1.3.1
- scipy==1.11.2
- smac==2.0.2
- tblib==2.0.0
- threadpoolctl==3.2.0
- zict==3.0.0
prefix: /home/koenig/anaconda3/envs/ab-crown