{"name":"converge-optimization","vers":"0.1.1","deps":[{"name":"approx","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"bitvec","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":["html_reports"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"indexmap","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ordered-float","req":"^4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ortools-sys","req":"^0.1.1","features":["link"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rayon","req":"^1.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"smallvec","req":"^1.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"varisat","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"80105b3531273fe53c868349079aa1a0d66561247bd5909e0547cafd1f2c26e5","features":{"default":[]},"features2":{"ffi":["dep:ortools-sys"],"full":["ffi","sat"],"sat":["dep:varisat"]},"yanked":true,"rust_version":"1.75","pubtime":"2026-03-08T20:16:15Z","v":2}
{"name":"converge-optimization","vers":"2.0.0","deps":[{"name":"approx","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"bitvec","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":["html_reports"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"indexmap","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ordered-float","req":"^4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ortools-sys","req":"^2.0.0","features":["link"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rayon","req":"^1.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1","features":["preserve_order"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"smallvec","req":"^1.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"varisat","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"92bab57f48f722f345c292ccb158a41cd3624d17d4a8f7156bc1e2760efc02e7","features":{"default":[]},"features2":{"ffi":["dep:ortools-sys"],"full":["ffi","sat"],"sat":["dep:varisat"]},"yanked":true,"rust_version":"1.94.0","pubtime":"2026-03-30T17:28:22Z","v":2}
{"name":"converge-optimization","vers":"2.1.0","deps":[{"name":"approx","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"bitvec","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":["html_reports"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"indexmap","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ordered-float","req":"^4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ortools-sys","req":"^2.1.0","features":["link"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rayon","req":"^1.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1","features":["preserve_order"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"smallvec","req":"^1.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"varisat","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"e00cd943ff0c1896d0a417868c1c82b4a07d1586aba2680c9339277e09916e0f","features":{"default":[]},"features2":{"ffi":["dep:ortools-sys"],"full":["ffi","sat"],"sat":["dep:varisat"]},"yanked":true,"rust_version":"1.94.0","pubtime":"2026-03-31T09:20:24Z","v":2}
{"name":"converge-optimization","vers":"2.1.2","deps":[{"name":"approx","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"bitvec","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":["html_reports"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"indexmap","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ordered-float","req":"^4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ortools-sys","req":"^2.1.2","features":["link"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rayon","req":"^1.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1","features":["preserve_order"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"smallvec","req":"^1.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"varisat","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"f540205865756c822826abf6a67f521ba295a3fd4356a7cb9e0ff17482e2f0d9","features":{"default":[]},"features2":{"ffi":["dep:ortools-sys"],"full":["ffi","sat"],"sat":["dep:varisat"]},"yanked":true,"rust_version":"1.94.0","pubtime":"2026-04-11T10:38:49Z","v":2}
{"name":"converge-optimization","vers":"3.2.0","deps":[{"name":"approx","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"bitvec","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":["html_reports"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"indexmap","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ordered-float","req":"^4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ortools-sys","req":"^3.2.0","features":["link"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rayon","req":"^1.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1","features":["preserve_order"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"smallvec","req":"^1.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"varisat","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"eef5fe6140af0f329ad628089602327908b77d0887ee762e0562851855da167b","features":{"default":[]},"features2":{"ffi":["dep:ortools-sys"],"full":["ffi","sat"],"sat":["dep:varisat"]},"yanked":false,"rust_version":"1.94.0","pubtime":"2026-04-15T15:00:26Z","v":2}
{"name":"converge-optimization","vers":"3.2.1","deps":[{"name":"approx","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"bitvec","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":["html_reports"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"indexmap","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ordered-float","req":"^4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ortools-sys","req":"^3.2.1","features":["link"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rayon","req":"^1.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1","features":["preserve_order"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"smallvec","req":"^1.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"varisat","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2640ebf4f2b7df0290d247531952304f8103258f47ca7570da96108c394fa72e","features":{"default":[]},"features2":{"ffi":["dep:ortools-sys"],"full":["ffi","sat"],"sat":["dep:varisat"]},"yanked":false,"rust_version":"1.94.0","pubtime":"2026-04-15T18:40:45Z","v":2}
{"name":"converge-optimization","vers":"3.7.0","deps":[{"name":"approx","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"async-trait","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvec","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"converge-kernel","req":"^3.7.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"converge-pack","req":"^3.7.0","features":["strum","kernel-authority"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":["html_reports"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"indexmap","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ordered-float","req":"^4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ortools-sys","req":"^3.7.0","features":["link"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rayon","req":"^1.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1","features":["preserve_order"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"smallvec","req":"^1.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.48","features":["full","macros","sync","macros","rt"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"varisat","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"0f0faca718bebeae6171c3c065a2355d12d45f3a039979b2d4f6a929770cfefc","features":{"default":[]},"features2":{"ffi":["dep:ortools-sys"],"full":["ffi","sat"],"sat":["dep:varisat"]},"yanked":false,"rust_version":"1.94.0","pubtime":"2026-04-21T11:04:26Z","v":2}
{"name":"converge-optimization","vers":"3.7.2","deps":[{"name":"approx","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"async-trait","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvec","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"converge-core","req":"^3.7.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"converge-model","req":"^3.7.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"converge-pack","req":"^3.7.2","features":["strum","kernel-authority"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"converge-provider-api","req":"^3.7.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"criterion","req":"^0.5","features":["html_reports"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"indexmap","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ordered-float","req":"^4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ortools-sys","req":"^3.7.2","features":["link"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rayon","req":"^1.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1","features":["preserve_order"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"smallvec","req":"^1.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.48","features":["full","macros","sync","macros","rt"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"varisat","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"fb5b3fcdd0f4bf4d1e982d51ff400b008369dc53534e4916bc133f5a39083b84","features":{"default":[]},"features2":{"ffi":["dep:ortools-sys"],"full":["ffi","sat"],"sat":["dep:varisat"]},"yanked":false,"rust_version":"1.94.0","pubtime":"2026-04-22T21:36:35Z","v":2}
{"name":"converge-optimization","vers":"3.7.3","deps":[{"name":"approx","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"async-trait","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvec","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"converge-core","req":"^3.7.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"converge-model","req":"^3.7.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"converge-pack","req":"^3.7.3","features":["strum","kernel-authority"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"converge-provider-api","req":"^3.7.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"criterion","req":"^0.5","features":["html_reports"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"indexmap","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ordered-float","req":"^4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ortools-sys","req":"^3.7.3","features":["link"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rayon","req":"^1.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1","features":["preserve_order"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"smallvec","req":"^1.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.48","features":["full","macros","sync","macros","rt"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"varisat","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"cd9c066db70126b148cf0485088dbaf261b5b58cdcec48ff840c051195b107d5","features":{"default":[]},"features2":{"ffi":["dep:ortools-sys"],"full":["ffi","sat"],"sat":["dep:varisat"]},"yanked":false,"rust_version":"1.94.0","pubtime":"2026-04-23T11:12:28Z","v":2}
{"name":"converge-optimization","vers":"3.7.4","deps":[{"name":"approx","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"async-trait","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvec","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"converge-core","req":"^3.7.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"converge-model","req":"^3.7.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"converge-pack","req":"^3.7.4","features":["strum","kernel-authority"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"converge-provider-api","req":"^3.7.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"criterion","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"indexmap","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ordered-float","req":"^4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rayon","req":"^1.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1","features":["preserve_order"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"smallvec","req":"^1.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.48","features":["full","macros","sync","macros","rt"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"varisat","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"ca025858b07137e12a10f97f9adf5ccd1f77101f00fd2470fee40d43d4b119ea","features":{"default":[]},"features2":{"full":["sat"],"sat":["dep:varisat"]},"yanked":false,"rust_version":"1.94.0","pubtime":"2026-04-26T00:04:01Z","v":2}
{"name":"converge-optimization","vers":"3.7.6","deps":[{"name":"approx","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"async-trait","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvec","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"converge-core","req":"^3.7.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"converge-model","req":"^3.7.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"converge-pack","req":"^3.7.6","features":["strum","kernel-authority"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"converge-provider-api","req":"^3.7.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"criterion","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"indexmap","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ordered-float","req":"^4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rayon","req":"^1.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1","features":["preserve_order"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"smallvec","req":"^1.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.48","features":["full","macros","sync","macros","rt"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"varisat","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"84938129410a2ce8050f66adc58125a76cd9362db82bf7586c76781de7c5b214","features":{"default":[]},"features2":{"full":["sat"],"sat":["dep:varisat"]},"yanked":false,"rust_version":"1.94.0","pubtime":"2026-05-04T22:17:03Z","v":2}
{"name":"converge-optimization","vers":"3.8.1","deps":[{"name":"approx","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"async-trait","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvec","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"converge-core","req":"^3.8.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"converge-model","req":"^3.8.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"converge-pack","req":"^3.8.1","features":["strum"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"converge-provider","req":"^3.8.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"criterion","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"indexmap","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ordered-float","req":"^4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rayon","req":"^1.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1","features":["preserve_order"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"smallvec","req":"^1.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.48","features":["full","macros","sync","macros","rt"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"varisat","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"0e2a2c1bbc83184c164bfb9feac505c25431baf6118b62ca89ba6b7e3dbfdd98","features":{"default":[]},"features2":{"full":["sat"],"sat":["dep:varisat"]},"yanked":false,"rust_version":"1.94.0","pubtime":"2026-05-06T17:04:26Z","v":2}
{"name":"converge-optimization","vers":"3.9.0","deps":[{"name":"approx","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"async-trait","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvec","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"converge-core","req":"^3.9.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"converge-model","req":"^3.9.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"converge-pack","req":"^3.9.0","features":["strum"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"converge-provider","req":"^3.9.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"criterion","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"indexmap","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ordered-float","req":"^5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rayon","req":"^1.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1","features":["preserve_order"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"smallvec","req":"^1.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52","features":["full","macros","sync","macros","rt"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"varisat","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"3fbb4be39d347bc70a54d786ceeeead502f7cf16b10b249b42a2587cc8cb0756","features":{"default":[]},"features2":{"full":["sat"],"sat":["dep:varisat"]},"yanked":false,"rust_version":"1.94.0","pubtime":"2026-05-15T21:59:41Z","v":2}
{"name":"converge-optimization","vers":"3.9.1","deps":[{"name":"approx","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"async-trait","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvec","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"converge-core","req":"^3.9.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"converge-model","req":"^3.9.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"converge-pack","req":"^3.9.1","features":["strum"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"converge-provider","req":"^3.9.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"criterion","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"indexmap","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ordered-float","req":"^5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rayon","req":"^1.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1","features":["preserve_order"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"smallvec","req":"^1.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52","features":["full","macros","sync","macros","rt"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"varisat","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8223cf9e43f885dd4f024e8ef620affbb65d9fc89157add483a9e8a3919adb62","features":{"default":[]},"features2":{"full":["sat"],"sat":["dep:varisat"]},"yanked":false,"rust_version":"1.94.0","pubtime":"2026-05-17T07:43:32Z","v":2}
{"name":"converge-optimization","vers":"3.9.2","deps":[{"name":"approx","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"async-trait","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvec","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"converge-core","req":"^3.9.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"converge-model","req":"^3.9.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"converge-pack","req":"^3.9.2","features":["strum"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"converge-provider","req":"^3.9.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"criterion","req":"^0.8","features":["default"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"indexmap","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ordered-float","req":"^5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rayon","req":"^1.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1","features":["preserve_order"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"smallvec","req":"^1.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52","features":["full","macros","sync","macros","rt"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"varisat","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"81957fbe661e45e35144d0567c7e7036a6f59fd18fc2fdab25754d497ca0219f","features":{"default":[]},"features2":{"full":["sat"],"sat":["dep:varisat"]},"yanked":false,"rust_version":"1.94.0","pubtime":"2026-06-02T03:04:53Z","v":2}
{"name":"converge-optimization","vers":"3.9.3","deps":[{"name":"approx","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"async-trait","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvec","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"converge-core","req":"^3.9.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"converge-model","req":"^3.9.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"converge-pack","req":"^3.9.3","features":["strum"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"converge-provider","req":"^3.9.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"criterion","req":"^0.8","features":["default"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"indexmap","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ordered-float","req":"^5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rayon","req":"^1.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1","features":["preserve_order"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"smallvec","req":"^1.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52","features":["full","macros","sync","macros","rt"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"varisat","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"cb81135ea3252f2915f2e87b67d1eaa920e15a7728d5d980bc39c2b5705ee32c","features":{"default":[]},"features2":{"full":["sat"],"sat":["dep:varisat"]},"yanked":false,"rust_version":"1.96.0","pubtime":"2026-07-02T18:52:27Z","v":2}