1  # This file is automatically @generated by Cargo.
  2  # It is not intended for manual editing.
  3  version = 4
  4  
  5  [[package]]
  6  name = "ahash"
  7  version = "0.8.11"
  8  source = "registry+https://github.com/rust-lang/crates.io-index"
  9  checksum = "e89da841a80418a9b391ebaea17f5c112ffaaa96f621d2c285b5174da76b9011"
 10  dependencies = [
 11   "cfg-if",
 12   "getrandom",
 13   "once_cell",
 14   "version_check",
 15   "zerocopy",
 16  ]
 17  
 18  [[package]]
 19  name = "aho-corasick"
 20  version = "1.1.3"
 21  source = "registry+https://github.com/rust-lang/crates.io-index"
 22  checksum = "8e60d3430d3a69478ad0993f19238d2df97c507009a52b3c10addcd7f6bcb916"
 23  dependencies = [
 24   "memchr",
 25  ]
 26  
 27  [[package]]
 28  name = "allocator-api2"
 29  version = "0.2.18"
 30  source = "registry+https://github.com/rust-lang/crates.io-index"
 31  checksum = "5c6cb57a04249c6480766f7f7cef5467412af1490f8d1e243141daddada3264f"
 32  
 33  [[package]]
 34  name = "aoc"
 35  version = "0.0.0"
 36  dependencies = [
 37   "counter",
 38   "indexmap",
 39   "itertools 0.13.0",
 40   "md-5",
 41   "ndarray 0.16.1",
 42   "num",
 43   "paste",
 44   "proptest",
 45   "rayon",
 46   "regex",
 47   "rustc-hash",
 48   "rustworkx-core",
 49   "smallvec",
 50   "thiserror",
 51   "z3",
 52  ]
 53  
 54  [[package]]
 55  name = "autocfg"
 56  version = "1.3.0"
 57  source = "registry+https://github.com/rust-lang/crates.io-index"
 58  checksum = "0c4b4d0bd25bd0b74681c0ad21497610ce1b7c91b1022cd21c80c6fbdd9476b0"
 59  
 60  [[package]]
 61  name = "bindgen"
 62  version = "0.72.1"
 63  source = "registry+https://github.com/rust-lang/crates.io-index"
 64  checksum = "993776b509cfb49c750f11b8f07a46fa23e0a1386ffc01fb1e7d343efc387895"
 65  dependencies = [
 66   "bitflags",
 67   "cexpr",
 68   "clang-sys",
 69   "itertools 0.11.0",
 70   "proc-macro2",
 71   "quote",
 72   "regex",
 73   "rustc-hash",
 74   "shlex",
 75   "syn",
 76  ]
 77  
 78  [[package]]
 79  name = "bit-set"
 80  version = "0.5.3"
 81  source = "registry+https://github.com/rust-lang/crates.io-index"
 82  checksum = "0700ddab506f33b20a03b13996eccd309a48e5ff77d0d95926aa0210fb4e95f1"
 83  dependencies = [
 84   "bit-vec",
 85  ]
 86  
 87  [[package]]
 88  name = "bit-vec"
 89  version = "0.6.3"
 90  source = "registry+https://github.com/rust-lang/crates.io-index"
 91  checksum = "349f9b6a179ed607305526ca489b34ad0a41aed5f7980fa90eb03160b69598fb"
 92  
 93  [[package]]
 94  name = "bitflags"
 95  version = "2.6.0"
 96  source = "registry+https://github.com/rust-lang/crates.io-index"
 97  checksum = "b048fb63fd8b5923fc5aa7b340d8e156aec7ec02f0c78fa8a6ddc2613f6f71de"
 98  
 99  [[package]]
100  name = "block-buffer"
101  version = "0.10.4"
102  source = "registry+https://github.com/rust-lang/crates.io-index"
103  checksum = "3078c7629b62d3f0439517fa394996acacc5cbc91c5a20d8c658e77abd503a71"
104  dependencies = [
105   "generic-array",
106  ]
107  
108  [[package]]
109  name = "byteorder"
110  version = "1.5.0"
111  source = "registry+https://github.com/rust-lang/crates.io-index"
112  checksum = "1fd0f2584146f6f2ef48085050886acf353beff7305ebd1ae69500e27c67f64b"
113  
114  [[package]]
115  name = "cexpr"
116  version = "0.6.0"
117  source = "registry+https://github.com/rust-lang/crates.io-index"
118  checksum = "6fac387a98bb7c37292057cffc56d62ecb629900026402633ae9160df93a8766"
119  dependencies = [
120   "nom",
121  ]
122  
123  [[package]]
124  name = "cfg-if"
125  version = "1.0.0"
126  source = "registry+https://github.com/rust-lang/crates.io-index"
127  checksum = "baf1de4339761588bc0619e3cbc0120ee582ebb74b53b4efbf79117bd2da40fd"
128  
129  [[package]]
130  name = "clang-sys"
131  version = "1.8.1"
132  source = "registry+https://github.com/rust-lang/crates.io-index"
133  checksum = "0b023947811758c97c59bf9d1c188fd619ad4718dcaa767947df1cadb14f39f4"
134  dependencies = [
135   "glob",
136   "libc",
137   "libloading",
138  ]
139  
140  [[package]]
141  name = "counter"
142  version = "0.6.0"
143  source = "registry+https://github.com/rust-lang/crates.io-index"
144  checksum = "f009fcafa949dc1fc46a762dae84d0c2687d3b550906b633c4979d58d2c6ae52"
145  dependencies = [
146   "num-traits",
147  ]
148  
149  [[package]]
150  name = "crossbeam-deque"
151  version = "0.8.5"
152  source = "registry+https://github.com/rust-lang/crates.io-index"
153  checksum = "613f8cc01fe9cf1a3eb3d7f488fd2fa8388403e97039e2f73692932e291a770d"
154  dependencies = [
155   "crossbeam-epoch",
156   "crossbeam-utils",
157  ]
158  
159  [[package]]
160  name = "crossbeam-epoch"
161  version = "0.9.18"
162  source = "registry+https://github.com/rust-lang/crates.io-index"
163  checksum = "5b82ac4a3c2ca9c3460964f020e1402edd5753411d7737aa39c3714ad1b5420e"
164  dependencies = [
165   "crossbeam-utils",
166  ]
167  
168  [[package]]
169  name = "crossbeam-utils"
170  version = "0.8.20"
171  source = "registry+https://github.com/rust-lang/crates.io-index"
172  checksum = "22ec99545bb0ed0ea7bb9b8e1e9122ea386ff8a48c0922e43f36d45ab09e0e80"
173  
174  [[package]]
175  name = "crypto-common"
176  version = "0.1.6"
177  source = "registry+https://github.com/rust-lang/crates.io-index"
178  checksum = "1bfb12502f3fc46cca1bb51ac28df9d618d813cdc3d2f25b9fe775a34af26bb3"
179  dependencies = [
180   "generic-array",
181   "typenum",
182  ]
183  
184  [[package]]
185  name = "digest"
186  version = "0.10.7"
187  source = "registry+https://github.com/rust-lang/crates.io-index"
188  checksum = "9ed9a281f7bc9b7576e61468ba615a66a5c8cfdff42420a70aa82701a3b1e292"
189  dependencies = [
190   "block-buffer",
191   "crypto-common",
192  ]
193  
194  [[package]]
195  name = "either"
196  version = "1.13.0"
197  source = "registry+https://github.com/rust-lang/crates.io-index"
198  checksum = "60b1af1c220855b6ceac025d3f6ecdd2b7c4894bfe9cd9bda4fbb4bc7c0d4cf0"
199  
200  [[package]]
201  name = "equivalent"
202  version = "1.0.1"
203  source = "registry+https://github.com/rust-lang/crates.io-index"
204  checksum = "5443807d6dff69373d433ab9ef5378ad8df50ca6298caf15de6e52e24aaf54d5"
205  
206  [[package]]
207  name = "errno"
208  version = "0.3.9"
209  source = "registry+https://github.com/rust-lang/crates.io-index"
210  checksum = "534c5cf6194dfab3db3242765c03bbe257cf92f22b38f6bc0c58d59108a820ba"
211  dependencies = [
212   "libc",
213   "windows-sys 0.52.0",
214  ]
215  
216  [[package]]
217  name = "fastrand"
218  version = "2.1.1"
219  source = "registry+https://github.com/rust-lang/crates.io-index"
220  checksum = "e8c02a5121d4ea3eb16a80748c74f5549a5665e4c21333c6098f283870fbdea6"
221  
222  [[package]]
223  name = "fixedbitset"
224  version = "0.4.2"
225  source = "registry+https://github.com/rust-lang/crates.io-index"
226  checksum = "0ce7134b9999ecaf8bcd65542e436736ef32ddca1b3e06094cb6ec5755203b80"
227  
228  [[package]]
229  name = "fnv"
230  version = "1.0.7"
231  source = "registry+https://github.com/rust-lang/crates.io-index"
232  checksum = "3f9eec918d3f24069decb9af1554cad7c880e2da24a9afd88aca000531ab82c1"
233  
234  [[package]]
235  name = "generic-array"
236  version = "0.14.7"
237  source = "registry+https://github.com/rust-lang/crates.io-index"
238  checksum = "85649ca51fd72272d7821adaf274ad91c288277713d9c18820d8499a7ff69e9a"
239  dependencies = [
240   "typenum",
241   "version_check",
242  ]
243  
244  [[package]]
245  name = "getrandom"
246  version = "0.2.15"
247  source = "registry+https://github.com/rust-lang/crates.io-index"
248  checksum = "c4567c8db10ae91089c99af84c68c38da3ec2f087c3f82960bcdbf3656b6f4d7"
249  dependencies = [
250   "cfg-if",
251   "libc",
252   "wasi",
253  ]
254  
255  [[package]]
256  name = "glob"
257  version = "0.3.1"
258  source = "registry+https://github.com/rust-lang/crates.io-index"
259  checksum = "d2fabcfbdc87f4758337ca535fb41a6d701b65693ce38287d856d1674551ec9b"
260  
261  [[package]]
262  name = "hashbrown"
263  version = "0.14.5"
264  source = "registry+https://github.com/rust-lang/crates.io-index"
265  checksum = "e5274423e17b7c9fc20b6e7e208532f9b19825d82dfd615708b70edd83df41f1"
266  dependencies = [
267   "ahash",
268   "allocator-api2",
269   "rayon",
270  ]
271  
272  [[package]]
273  name = "indexmap"
274  version = "2.5.0"
275  source = "registry+https://github.com/rust-lang/crates.io-index"
276  checksum = "68b900aa2f7301e21c36462b170ee99994de34dff39a4a6a528e80e7376d07e5"
277  dependencies = [
278   "equivalent",
279   "hashbrown",
280   "rayon",
281  ]
282  
283  [[package]]
284  name = "itertools"
285  version = "0.11.0"
286  source = "registry+https://github.com/rust-lang/crates.io-index"
287  checksum = "b1c173a5686ce8bfa551b3563d0c2170bf24ca44da99c7ca4bfdab5418c3fe57"
288  dependencies = [
289   "either",
290  ]
291  
292  [[package]]
293  name = "itertools"
294  version = "0.13.0"
295  source = "registry+https://github.com/rust-lang/crates.io-index"
296  checksum = "413ee7dfc52ee1a4949ceeb7dbc8a33f2d6c088194d9f922fb8318faf1f01186"
297  dependencies = [
298   "either",
299  ]
300  
301  [[package]]
302  name = "lazy_static"
303  version = "1.5.0"
304  source = "registry+https://github.com/rust-lang/crates.io-index"
305  checksum = "bbd2bcb4c963f2ddae06a2efc7e9f3591312473c50c6685e1f298068316e66fe"
306  
307  [[package]]
308  name = "libc"
309  version = "0.2.158"
310  source = "registry+https://github.com/rust-lang/crates.io-index"
311  checksum = "d8adc4bb1803a324070e64a98ae98f38934d91957a99cfb3a43dcbc01bc56439"
312  
313  [[package]]
314  name = "libloading"
315  version = "0.8.5"
316  source = "registry+https://github.com/rust-lang/crates.io-index"
317  checksum = "4979f22fdb869068da03c9f7528f8297c6fd2606bc3a4affe42e6a823fdb8da4"
318  dependencies = [
319   "cfg-if",
320   "windows-targets",
321  ]
322  
323  [[package]]
324  name = "libm"
325  version = "0.2.8"
326  source = "registry+https://github.com/rust-lang/crates.io-index"
327  checksum = "4ec2a862134d2a7d32d7983ddcdd1c4923530833c9f2ea1a44fc5fa473989058"
328  
329  [[package]]
330  name = "linux-raw-sys"
331  version = "0.4.14"
332  source = "registry+https://github.com/rust-lang/crates.io-index"
333  checksum = "78b3ae25bc7c8c38cec158d1f2757ee79e9b3740fbc7ccf0e59e4b08d793fa89"
334  
335  [[package]]
336  name = "log"
337  version = "0.4.22"
338  source = "registry+https://github.com/rust-lang/crates.io-index"
339  checksum = "a7a70ba024b9dc04c27ea2f0c0548feb474ec5c54bba33a7f72f873a39d07b24"
340  
341  [[package]]
342  name = "matrixmultiply"
343  version = "0.3.9"
344  source = "registry+https://github.com/rust-lang/crates.io-index"
345  checksum = "9380b911e3e96d10c1f415da0876389aaf1b56759054eeb0de7df940c456ba1a"
346  dependencies = [
347   "autocfg",
348   "rawpointer",
349  ]
350  
351  [[package]]
352  name = "md-5"
353  version = "0.10.6"
354  source = "registry+https://github.com/rust-lang/crates.io-index"
355  checksum = "d89e7ee0cfbedfc4da3340218492196241d89eefb6dab27de5df917a6d2e78cf"
356  dependencies = [
357   "cfg-if",
358   "digest",
359  ]
360  
361  [[package]]
362  name = "memchr"
363  version = "2.7.4"
364  source = "registry+https://github.com/rust-lang/crates.io-index"
365  checksum = "78ca9ab1a0babb1e7d5695e3530886289c18cf2f87ec19a575a0abdce112e3a3"
366  
367  [[package]]
368  name = "minimal-lexical"
369  version = "0.2.1"
370  source = "registry+https://github.com/rust-lang/crates.io-index"
371  checksum = "68354c5c6bd36d73ff3feceb05efa59b6acb7626617f4962be322a825e61f79a"
372  
373  [[package]]
374  name = "ndarray"
375  version = "0.15.6"
376  source = "registry+https://github.com/rust-lang/crates.io-index"
377  checksum = "adb12d4e967ec485a5f71c6311fe28158e9d6f4bc4a447b474184d0f91a8fa32"
378  dependencies = [
379   "matrixmultiply",
380   "num-complex",
381   "num-integer",
382   "num-traits",
383   "rawpointer",
384   "rayon",
385  ]
386  
387  [[package]]
388  name = "ndarray"
389  version = "0.16.1"
390  source = "registry+https://github.com/rust-lang/crates.io-index"
391  checksum = "882ed72dce9365842bf196bdeedf5055305f11fc8c03dee7bb0194a6cad34841"
392  dependencies = [
393   "matrixmultiply",
394   "num-complex",
395   "num-integer",
396   "num-traits",
397   "portable-atomic",
398   "portable-atomic-util",
399   "rawpointer",
400  ]
401  
402  [[package]]
403  name = "nom"
404  version = "7.1.3"
405  source = "registry+https://github.com/rust-lang/crates.io-index"
406  checksum = "d273983c5a657a70a3e8f2a01329822f3b8c8172b73826411a55751e404a0a4a"
407  dependencies = [
408   "memchr",
409   "minimal-lexical",
410  ]
411  
412  [[package]]
413  name = "num"
414  version = "0.4.3"
415  source = "registry+https://github.com/rust-lang/crates.io-index"
416  checksum = "35bd024e8b2ff75562e5f34e7f4905839deb4b22955ef5e73d2fea1b9813cb23"
417  dependencies = [
418   "num-bigint",
419   "num-complex",
420   "num-integer",
421   "num-iter",
422   "num-rational",
423   "num-traits",
424  ]
425  
426  [[package]]
427  name = "num-bigint"
428  version = "0.4.6"
429  source = "registry+https://github.com/rust-lang/crates.io-index"
430  checksum = "a5e44f723f1133c9deac646763579fdb3ac745e418f2a7af9cd0c431da1f20b9"
431  dependencies = [
432   "num-integer",
433   "num-traits",
434  ]
435  
436  [[package]]
437  name = "num-complex"
438  version = "0.4.6"
439  source = "registry+https://github.com/rust-lang/crates.io-index"
440  checksum = "73f88a1307638156682bada9d7604135552957b7818057dcef22705b4d509495"
441  dependencies = [
442   "num-traits",
443  ]
444  
445  [[package]]
446  name = "num-integer"
447  version = "0.1.46"
448  source = "registry+https://github.com/rust-lang/crates.io-index"
449  checksum = "7969661fd2958a5cb096e56c8e1ad0444ac2bbcd0061bd28660485a44879858f"
450  dependencies = [
451   "num-traits",
452  ]
453  
454  [[package]]
455  name = "num-iter"
456  version = "0.1.45"
457  source = "registry+https://github.com/rust-lang/crates.io-index"
458  checksum = "1429034a0490724d0075ebb2bc9e875d6503c3cf69e235a8941aa757d83ef5bf"
459  dependencies = [
460   "autocfg",
461   "num-integer",
462   "num-traits",
463  ]
464  
465  [[package]]
466  name = "num-rational"
467  version = "0.4.2"
468  source = "registry+https://github.com/rust-lang/crates.io-index"
469  checksum = "f83d14da390562dca69fc84082e73e548e1ad308d24accdedd2720017cb37824"
470  dependencies = [
471   "num-bigint",
472   "num-integer",
473   "num-traits",
474  ]
475  
476  [[package]]
477  name = "num-traits"
478  version = "0.2.19"
479  source = "registry+https://github.com/rust-lang/crates.io-index"
480  checksum = "071dfc062690e90b734c0b2273ce72ad0ffa95f0c74596bc250dcfd960262841"
481  dependencies = [
482   "autocfg",
483   "libm",
484  ]
485  
486  [[package]]
487  name = "once_cell"
488  version = "1.19.0"
489  source = "registry+https://github.com/rust-lang/crates.io-index"
490  checksum = "3fdb12b2476b595f9358c5161aa467c2438859caa136dec86c26fdd2efe17b92"
491  
492  [[package]]
493  name = "paste"
494  version = "1.0.15"
495  source = "registry+https://github.com/rust-lang/crates.io-index"
496  checksum = "57c0d7b74b563b49d38dae00a0c37d4d6de9b432382b2892f0574ddcae73fd0a"
497  
498  [[package]]
499  name = "petgraph"
500  version = "0.6.5"
501  source = "registry+https://github.com/rust-lang/crates.io-index"
502  checksum = "b4c5cc86750666a3ed20bdaf5ca2a0344f9c67674cae0515bec2da16fbaa47db"
503  dependencies = [
504   "fixedbitset",
505   "indexmap",
506  ]
507  
508  [[package]]
509  name = "pkg-config"
510  version = "0.3.32"
511  source = "registry+https://github.com/rust-lang/crates.io-index"
512  checksum = "7edddbd0b52d732b21ad9a5fab5c704c14cd949e5e9a1ec5929a24fded1b904c"
513  
514  [[package]]
515  name = "portable-atomic"
516  version = "1.7.0"
517  source = "registry+https://github.com/rust-lang/crates.io-index"
518  checksum = "da544ee218f0d287a911e9c99a39a8c9bc8fcad3cb8db5959940044ecfc67265"
519  
520  [[package]]
521  name = "portable-atomic-util"
522  version = "0.2.2"
523  source = "registry+https://github.com/rust-lang/crates.io-index"
524  checksum = "fcdd8420072e66d54a407b3316991fe946ce3ab1083a7f575b2463866624704d"
525  dependencies = [
526   "portable-atomic",
527  ]
528  
529  [[package]]
530  name = "ppv-lite86"
531  version = "0.2.20"
532  source = "registry+https://github.com/rust-lang/crates.io-index"
533  checksum = "77957b295656769bb8ad2b6a6b09d897d94f05c41b069aede1fcdaa675eaea04"
534  dependencies = [
535   "zerocopy",
536  ]
537  
538  [[package]]
539  name = "priority-queue"
540  version = "2.1.0"
541  source = "registry+https://github.com/rust-lang/crates.io-index"
542  checksum = "560bcab673ff7f6ca9e270c17bf3affd8a05e3bd9207f123b0d45076fd8197e8"
543  dependencies = [
544   "autocfg",
545   "equivalent",
546   "indexmap",
547  ]
548  
549  [[package]]
550  name = "proc-macro2"
551  version = "1.0.92"
552  source = "registry+https://github.com/rust-lang/crates.io-index"
553  checksum = "37d3544b3f2748c54e147655edb5025752e2303145b5aefb3c3ea2c78b973bb0"
554  dependencies = [
555   "unicode-ident",
556  ]
557  
558  [[package]]
559  name = "proptest"
560  version = "1.5.0"
561  source = "registry+https://github.com/rust-lang/crates.io-index"
562  checksum = "b4c2511913b88df1637da85cc8d96ec8e43a3f8bb8ccb71ee1ac240d6f3df58d"
563  dependencies = [
564   "bit-set",
565   "bit-vec",
566   "bitflags",
567   "lazy_static",
568   "num-traits",
569   "rand",
570   "rand_chacha",
571   "rand_xorshift",
572   "regex-syntax",
573   "rusty-fork",
574   "tempfile",
575   "unarray",
576  ]
577  
578  [[package]]
579  name = "quick-error"
580  version = "1.2.3"
581  source = "registry+https://github.com/rust-lang/crates.io-index"
582  checksum = "a1d01941d82fa2ab50be1e79e6714289dd7cde78eba4c074bc5a4374f650dfe0"
583  
584  [[package]]
585  name = "quote"
586  version = "1.0.37"
587  source = "registry+https://github.com/rust-lang/crates.io-index"
588  checksum = "b5b9d34b8991d19d98081b46eacdd8eb58c6f2b201139f7c5f643cc155a633af"
589  dependencies = [
590   "proc-macro2",
591  ]
592  
593  [[package]]
594  name = "rand"
595  version = "0.8.5"
596  source = "registry+https://github.com/rust-lang/crates.io-index"
597  checksum = "34af8d1a0e25924bc5b7c43c079c942339d8f0a8b57c39049bef581b46327404"
598  dependencies = [
599   "libc",
600   "rand_chacha",
601   "rand_core",
602  ]
603  
604  [[package]]
605  name = "rand_chacha"
606  version = "0.3.1"
607  source = "registry+https://github.com/rust-lang/crates.io-index"
608  checksum = "e6c10a63a0fa32252be49d21e7709d4d4baf8d231c2dbce1eaa8141b9b127d88"
609  dependencies = [
610   "ppv-lite86",
611   "rand_core",
612  ]
613  
614  [[package]]
615  name = "rand_core"
616  version = "0.6.4"
617  source = "registry+https://github.com/rust-lang/crates.io-index"
618  checksum = "ec0be4795e2f6a28069bec0b5ff3e2ac9bafc99e6a9a7dc3547996c5c816922c"
619  dependencies = [
620   "getrandom",
621  ]
622  
623  [[package]]
624  name = "rand_pcg"
625  version = "0.3.1"
626  source = "registry+https://github.com/rust-lang/crates.io-index"
627  checksum = "59cad018caf63deb318e5a4586d99a24424a364f40f1e5778c29aca23f4fc73e"
628  dependencies = [
629   "rand_core",
630  ]
631  
632  [[package]]
633  name = "rand_xorshift"
634  version = "0.3.0"
635  source = "registry+https://github.com/rust-lang/crates.io-index"
636  checksum = "d25bf25ec5ae4a3f1b92f929810509a2f53d7dca2f50b794ff57e3face536c8f"
637  dependencies = [
638   "rand_core",
639  ]
640  
641  [[package]]
642  name = "rawpointer"
643  version = "0.2.1"
644  source = "registry+https://github.com/rust-lang/crates.io-index"
645  checksum = "60a357793950651c4ed0f3f52338f53b2f809f32d83a07f72909fa13e4c6c1e3"
646  
647  [[package]]
648  name = "rayon"
649  version = "1.10.0"
650  source = "registry+https://github.com/rust-lang/crates.io-index"
651  checksum = "b418a60154510ca1a002a752ca9714984e21e4241e804d32555251faf8b78ffa"
652  dependencies = [
653   "either",
654   "rayon-core",
655  ]
656  
657  [[package]]
658  name = "rayon-cond"
659  version = "0.3.0"
660  source = "registry+https://github.com/rust-lang/crates.io-index"
661  checksum = "059f538b55efd2309c9794130bc149c6a553db90e9d99c2030785c82f0bd7df9"
662  dependencies = [
663   "either",
664   "itertools 0.11.0",
665   "rayon",
666  ]
667  
668  [[package]]
669  name = "rayon-core"
670  version = "1.12.1"
671  source = "registry+https://github.com/rust-lang/crates.io-index"
672  checksum = "1465873a3dfdaa8ae7cb14b4383657caab0b3e8a0aa9ae8e04b044854c8dfce2"
673  dependencies = [
674   "crossbeam-deque",
675   "crossbeam-utils",
676  ]
677  
678  [[package]]
679  name = "regex"
680  version = "1.10.6"
681  source = "registry+https://github.com/rust-lang/crates.io-index"
682  checksum = "4219d74c6b67a3654a9fbebc4b419e22126d13d2f3c4a07ee0cb61ff79a79619"
683  dependencies = [
684   "aho-corasick",
685   "memchr",
686   "regex-automata",
687   "regex-syntax",
688  ]
689  
690  [[package]]
691  name = "regex-automata"
692  version = "0.4.7"
693  source = "registry+https://github.com/rust-lang/crates.io-index"
694  checksum = "38caf58cc5ef2fed281f89292ef23f6365465ed9a41b7a7754eb4e26496c92df"
695  dependencies = [
696   "aho-corasick",
697   "memchr",
698   "regex-syntax",
699  ]
700  
701  [[package]]
702  name = "regex-syntax"
703  version = "0.8.4"
704  source = "registry+https://github.com/rust-lang/crates.io-index"
705  checksum = "7a66a03ae7c801facd77a29370b4faec201768915ac14a721ba36f20bc9c209b"
706  
707  [[package]]
708  name = "rustc-hash"
709  version = "2.1.1"
710  source = "registry+https://github.com/rust-lang/crates.io-index"
711  checksum = "357703d41365b4b27c590e3ed91eabb1b663f07c4c084095e60cbed4362dff0d"
712  
713  [[package]]
714  name = "rustix"
715  version = "0.38.37"
716  source = "registry+https://github.com/rust-lang/crates.io-index"
717  checksum = "8acb788b847c24f28525660c4d7758620a7210875711f79e7f663cc152726811"
718  dependencies = [
719   "bitflags",
720   "errno",
721   "libc",
722   "linux-raw-sys",
723   "windows-sys 0.52.0",
724  ]
725  
726  [[package]]
727  name = "rustworkx-core"
728  version = "0.15.1"
729  source = "registry+https://github.com/rust-lang/crates.io-index"
730  checksum = "ef8108bdaf5b590d2ea261c6ca9b1795cbf253d0733b2e209b7990c95ed23843"
731  dependencies = [
732   "ahash",
733   "fixedbitset",
734   "hashbrown",
735   "indexmap",
736   "ndarray 0.15.6",
737   "num-traits",
738   "petgraph",
739   "priority-queue",
740   "rand",
741   "rand_pcg",
742   "rayon",
743   "rayon-cond",
744  ]
745  
746  [[package]]
747  name = "rusty-fork"
748  version = "0.3.0"
749  source = "registry+https://github.com/rust-lang/crates.io-index"
750  checksum = "cb3dcc6e454c328bb824492db107ab7c0ae8fcffe4ad210136ef014458c1bc4f"
751  dependencies = [
752   "fnv",
753   "quick-error",
754   "tempfile",
755   "wait-timeout",
756  ]
757  
758  [[package]]
759  name = "shlex"
760  version = "1.3.0"
761  source = "registry+https://github.com/rust-lang/crates.io-index"
762  checksum = "0fda2ff0d084019ba4d7c6f371c95d8fd75ce3524c3cb8fb653a3023f6323e64"
763  
764  [[package]]
765  name = "smallvec"
766  version = "1.13.2"
767  source = "registry+https://github.com/rust-lang/crates.io-index"
768  checksum = "3c5e1a9a646d36c3599cd173a41282daf47c44583ad367b8e6837255952e5c67"
769  
770  [[package]]
771  name = "syn"
772  version = "2.0.90"
773  source = "registry+https://github.com/rust-lang/crates.io-index"
774  checksum = "919d3b74a5dd0ccd15aeb8f93e7006bd9e14c295087c9896a110f490752bcf31"
775  dependencies = [
776   "proc-macro2",
777   "quote",
778   "unicode-ident",
779  ]
780  
781  [[package]]
782  name = "tempfile"
783  version = "3.12.0"
784  source = "registry+https://github.com/rust-lang/crates.io-index"
785  checksum = "04cbcdd0c794ebb0d4cf35e88edd2f7d2c4c3e9a5a6dab322839b321c6a87a64"
786  dependencies = [
787   "cfg-if",
788   "fastrand",
789   "once_cell",
790   "rustix",
791   "windows-sys 0.59.0",
792  ]
793  
794  [[package]]
795  name = "thiserror"
796  version = "2.0.3"
797  source = "registry+https://github.com/rust-lang/crates.io-index"
798  checksum = "c006c85c7651b3cf2ada4584faa36773bd07bac24acfb39f3c431b36d7e667aa"
799  dependencies = [
800   "thiserror-impl",
801  ]
802  
803  [[package]]
804  name = "thiserror-impl"
805  version = "2.0.3"
806  source = "registry+https://github.com/rust-lang/crates.io-index"
807  checksum = "f077553d607adc1caf65430528a576c757a71ed73944b66ebb58ef2bbd243568"
808  dependencies = [
809   "proc-macro2",
810   "quote",
811   "syn",
812  ]
813  
814  [[package]]
815  name = "typenum"
816  version = "1.17.0"
817  source = "registry+https://github.com/rust-lang/crates.io-index"
818  checksum = "42ff0bf0c66b8238c6f3b578df37d0b7848e55df8577b3f74f92a69acceeb825"
819  
820  [[package]]
821  name = "unarray"
822  version = "0.1.4"
823  source = "registry+https://github.com/rust-lang/crates.io-index"
824  checksum = "eaea85b334db583fe3274d12b4cd1880032beab409c0d774be044d4480ab9a94"
825  
826  [[package]]
827  name = "unicode-ident"
828  version = "1.0.13"
829  source = "registry+https://github.com/rust-lang/crates.io-index"
830  checksum = "e91b56cd4cadaeb79bbf1a5645f6b4f8dc5bde8834ad5894a8db35fda9efa1fe"
831  
832  [[package]]
833  name = "version_check"
834  version = "0.9.5"
835  source = "registry+https://github.com/rust-lang/crates.io-index"
836  checksum = "0b928f33d975fc6ad9f86c8f283853ad26bdd5b10b7f1542aa2fa15e2289105a"
837  
838  [[package]]
839  name = "wait-timeout"
840  version = "0.2.0"
841  source = "registry+https://github.com/rust-lang/crates.io-index"
842  checksum = "9f200f5b12eb75f8c1ed65abd4b2db8a6e1b138a20de009dacee265a2498f3f6"
843  dependencies = [
844   "libc",
845  ]
846  
847  [[package]]
848  name = "wasi"
849  version = "0.11.0+wasi-snapshot-preview1"
850  source = "registry+https://github.com/rust-lang/crates.io-index"
851  checksum = "9c8d87e72b64a3b4db28d11ce29237c246188f4f51057d65a7eab63b7987e423"
852  
853  [[package]]
854  name = "windows-sys"
855  version = "0.52.0"
856  source = "registry+https://github.com/rust-lang/crates.io-index"
857  checksum = "282be5f36a8ce781fad8c8ae18fa3f9beff57ec1b52cb3de0789201425d9a33d"
858  dependencies = [
859   "windows-targets",
860  ]
861  
862  [[package]]
863  name = "windows-sys"
864  version = "0.59.0"
865  source = "registry+https://github.com/rust-lang/crates.io-index"
866  checksum = "1e38bc4d79ed67fd075bcc251a1c39b32a1776bbe92e5bef1f0bf1f8c531853b"
867  dependencies = [
868   "windows-targets",
869  ]
870  
871  [[package]]
872  name = "windows-targets"
873  version = "0.52.6"
874  source = "registry+https://github.com/rust-lang/crates.io-index"
875  checksum = "9b724f72796e036ab90c1021d4780d4d3d648aca59e491e6b98e725b84e99973"
876  dependencies = [
877   "windows_aarch64_gnullvm",
878   "windows_aarch64_msvc",
879   "windows_i686_gnu",
880   "windows_i686_gnullvm",
881   "windows_i686_msvc",
882   "windows_x86_64_gnu",
883   "windows_x86_64_gnullvm",
884   "windows_x86_64_msvc",
885  ]
886  
887  [[package]]
888  name = "windows_aarch64_gnullvm"
889  version = "0.52.6"
890  source = "registry+https://github.com/rust-lang/crates.io-index"
891  checksum = "32a4622180e7a0ec044bb555404c800bc9fd9ec262ec147edd5989ccd0c02cd3"
892  
893  [[package]]
894  name = "windows_aarch64_msvc"
895  version = "0.52.6"
896  source = "registry+https://github.com/rust-lang/crates.io-index"
897  checksum = "09ec2a7bb152e2252b53fa7803150007879548bc709c039df7627cabbd05d469"
898  
899  [[package]]
900  name = "windows_i686_gnu"
901  version = "0.52.6"
902  source = "registry+https://github.com/rust-lang/crates.io-index"
903  checksum = "8e9b5ad5ab802e97eb8e295ac6720e509ee4c243f69d781394014ebfe8bbfa0b"
904  
905  [[package]]
906  name = "windows_i686_gnullvm"
907  version = "0.52.6"
908  source = "registry+https://github.com/rust-lang/crates.io-index"
909  checksum = "0eee52d38c090b3caa76c563b86c3a4bd71ef1a819287c19d586d7334ae8ed66"
910  
911  [[package]]
912  name = "windows_i686_msvc"
913  version = "0.52.6"
914  source = "registry+https://github.com/rust-lang/crates.io-index"
915  checksum = "240948bc05c5e7c6dabba28bf89d89ffce3e303022809e73deaefe4f6ec56c66"
916  
917  [[package]]
918  name = "windows_x86_64_gnu"
919  version = "0.52.6"
920  source = "registry+https://github.com/rust-lang/crates.io-index"
921  checksum = "147a5c80aabfbf0c7d901cb5895d1de30ef2907eb21fbbab29ca94c5b08b1a78"
922  
923  [[package]]
924  name = "windows_x86_64_gnullvm"
925  version = "0.52.6"
926  source = "registry+https://github.com/rust-lang/crates.io-index"
927  checksum = "24d5b23dc417412679681396f2b49f3de8c1473deb516bd34410872eff51ed0d"
928  
929  [[package]]
930  name = "windows_x86_64_msvc"
931  version = "0.52.6"
932  source = "registry+https://github.com/rust-lang/crates.io-index"
933  checksum = "589f6da84c646204747d1270a2a5661ea66ed1cced2631d546fdfb155959f9ec"
934  
935  [[package]]
936  name = "z3"
937  version = "0.19.6"
938  source = "registry+https://github.com/rust-lang/crates.io-index"
939  checksum = "b2f393c9bc12e0a32ce65e9a0cbec296df1c7f506291db5b8237e7a9a1cc9ebe"
940  dependencies = [
941   "log",
942   "num",
943   "z3-sys",
944  ]
945  
946  [[package]]
947  name = "z3-sys"
948  version = "0.10.3"
949  source = "registry+https://github.com/rust-lang/crates.io-index"
950  checksum = "3940bd12746da62352129e4bf4087fd360919b1bb0b88c59550b9761199b04ae"
951  dependencies = [
952   "bindgen",
953   "pkg-config",
954  ]
955  
956  [[package]]
957  name = "zerocopy"
958  version = "0.7.35"
959  source = "registry+https://github.com/rust-lang/crates.io-index"
960  checksum = "1b9b4fd18abc82b8136838da5d50bae7bdea537c574d8dc1a34ed098d6c166f0"
961  dependencies = [
962   "byteorder",
963   "zerocopy-derive",
964  ]
965  
966  [[package]]
967  name = "zerocopy-derive"
968  version = "0.7.35"
969  source = "registry+https://github.com/rust-lang/crates.io-index"
970  checksum = "fa4f8080344d4671fb4e831a13ad1e68092748387dfc4f55e356242fae12ce3e"
971  dependencies = [
972   "proc-macro2",
973   "quote",
974   "syn",
975  ]