2023-08-17 14:15:02 +02:00
|
|
|
[deps]
|
|
|
|
|
BenchmarkTools = "6e4b80f9-dd63-53aa-95a3-0cdb28fa8baf"
|
|
|
|
|
MetagraphOptimization = "3e869610-d48d-4942-ba70-c1b702a33ca4"
|
|
|
|
|
Plots = "91a5bcdd-55d7-5caf-9e0b-520d859cae80"
|
2023-08-18 11:47:12 +02:00
|
|
|
ProfileView = "c46f51b8-102a-5cf2-8d2c-8597cb0e0da7"
|
2023-08-18 17:18:01 +02:00
|
|
|
Revise = "295af30f-e4ad-537b-8983-00126c2a3abe"
|
