{"name":"elenchus-solver","vers":"0.1.0","deps":[{"name":"elenchus-compiler","req":"^0.1.0","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"insta","req":"^1.41","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"5dd791c15f1da2680f5afa16ec7a2eb67331cc444a2730feb6dc09ec24db58bc","features":{"default":["std"],"std":["elenchus-compiler/std"]},"yanked":false,"pubtime":"2026-06-18T19:23:05Z"}
{"name":"elenchus-solver","vers":"0.1.1","deps":[{"name":"elenchus-compiler","req":"^0.1.1","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"insta","req":"^1.41","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"823b610011eba35c1d19c0a68d4f68acf149d2554f463620b451d3c59c10e007","features":{"default":["std"],"std":["elenchus-compiler/std"]},"yanked":false,"pubtime":"2026-06-18T19:36:09Z"}
{"name":"elenchus-solver","vers":"0.1.3","deps":[{"name":"elenchus-compiler","req":"^0.1.3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"insta","req":"^1.41","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"1ca8b4199622f42ad52833abba46a47ed73c60141bef4a28e81d7ae8a966d655","features":{"default":["std"],"std":["elenchus-compiler/std"]},"yanked":false,"pubtime":"2026-06-18T20:02:56Z"}
{"name":"elenchus-solver","vers":"0.1.4","deps":[{"name":"elenchus-compiler","req":"^0.1.4","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"insta","req":"^1.41","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"021634af18bb5d37ee8fbece9f94c8735304f014f25e212b8047cd6de660c401","features":{"default":["std"],"std":["elenchus-compiler/std"]},"yanked":false,"pubtime":"2026-06-18T20:28:59Z"}
{"name":"elenchus-solver","vers":"0.2.0","deps":[{"name":"elenchus-compiler","req":"^0.2.0","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"insta","req":"^1.41","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"9ebcfa5b49c7f391575cc02e846592a341cb3ed59ef3385de4e012f175195778","features":{"default":["std"],"std":["elenchus-compiler/std"]},"yanked":false,"pubtime":"2026-06-19T06:22:09Z"}
{"name":"elenchus-solver","vers":"0.3.0","deps":[{"name":"elenchus-compiler","req":"^0.3.0","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"insta","req":"^1.41","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"aeedbdbf4e55126c29450daab23965d3621dff740c900040d7f37e81c89706bf","features":{"default":["std"],"std":["elenchus-compiler/std"]},"yanked":false,"pubtime":"2026-06-19T08:54:31Z"}
{"name":"elenchus-solver","vers":"0.4.0","deps":[{"name":"elenchus-compiler","req":"^0.4.0","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"insta","req":"^1.41","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"69d07b2b448d7822585aebc1bbbdb8d62eab838a4fa62e74754e8cd0567432a6","features":{"default":["std"],"std":["elenchus-compiler/std"]},"yanked":false,"pubtime":"2026-06-19T13:28:24Z"}
{"name":"elenchus-solver","vers":"0.4.1","deps":[{"name":"elenchus-compiler","req":"^0.4.1","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"insta","req":"^1.41","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"146035d5b4d46182166dbc60233436ad9aabee483045695c601c12b168a08e8d","features":{"default":["std"],"std":["elenchus-compiler/std"]},"yanked":false,"pubtime":"2026-06-19T14:49:10Z"}
{"name":"elenchus-solver","vers":"0.5.0","deps":[{"name":"elenchus-compiler","req":"^0.5.0","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"insta","req":"^1.41","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"945b2c672e9c580920e8517dc055992b84611480bac2658ef31351982c9d0377","features":{"default":["std"],"std":["elenchus-compiler/std"]},"yanked":false,"pubtime":"2026-06-19T19:58:45Z"}
{"name":"elenchus-solver","vers":"0.6.0","deps":[{"name":"elenchus-compiler","req":"^0.6.0","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"insta","req":"^1.41","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"e5614c530784134cf118d63b8da93fb8355287a121b21cdc21133d009c1e625a","features":{"default":["std"],"std":["elenchus-compiler/std"]},"yanked":false,"pubtime":"2026-06-20T09:27:22Z"}
{"name":"elenchus-solver","vers":"0.7.0","deps":[{"name":"elenchus-compiler","req":"^0.7.0","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"insta","req":"^1.41","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"3c2d64093e0b2863a3ad897c625da4a5947b55c65975e0d4b23eb9c27ff027ce","features":{"default":["std"],"std":["elenchus-compiler/std"]},"yanked":false,"pubtime":"2026-06-21T09:50:18Z"}
{"name":"elenchus-solver","vers":"0.7.1","deps":[{"name":"elenchus-compiler","req":"^0.7.1","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"insta","req":"^1.41","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"8a2e80828a1c3078a83cc7a8f8b6076465e9b209a5e162437f8bc5cc0be1811c","features":{"default":["std"],"std":["elenchus-compiler/std"]},"yanked":false,"pubtime":"2026-06-21T11:16:56Z"}
{"name":"elenchus-solver","vers":"0.8.0","deps":[{"name":"elenchus-compiler","req":"^0.8.0","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"insta","req":"^1.41","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"9b8ddbc96dab6332339756457f73dc8ce58e090103659988bae965739dc24dbc","features":{"default":["std"],"std":["elenchus-compiler/std"]},"yanked":false,"pubtime":"2026-06-21T17:10:41Z"}
{"name":"elenchus-solver","vers":"0.9.0","deps":[{"name":"elenchus-compiler","req":"^0.9.0","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"insta","req":"^1.41","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"c39c15c7d0732fc5d8e004c16388f45a11c333fa72f831114e8c295243caeb06","features":{"default":["std"],"std":["elenchus-compiler/std"]},"yanked":false,"pubtime":"2026-06-22T07:12:49Z"}
{"name":"elenchus-solver","vers":"0.9.1","deps":[{"name":"elenchus-compiler","req":"^0.9.1","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"insta","req":"^1.41","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"135374609637e1dc7ea9bb0706460efd8586cf3c121be5eadff70bdd8cddeac4","features":{"default":["std"],"std":["elenchus-compiler/std"]},"yanked":false,"pubtime":"2026-06-23T11:10:35Z"}
{"name":"elenchus-solver","vers":"0.9.2","deps":[{"name":"elenchus-compiler","req":"^0.9.2","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"insta","req":"^1.41","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"0c90a4ddf61ae5bc325080be6b7122e15b93657f79122ea1f2ee158209771179","features":{"default":["std"],"std":["elenchus-compiler/std"]},"yanked":false,"pubtime":"2026-06-23T17:06:36Z"}
{"name":"elenchus-solver","vers":"0.10.0","deps":[{"name":"elenchus-compiler","req":"^0.10.0","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"insta","req":"^1.41","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"511bced7286f8126c99811bf621ed4813210e1c01cfcf2fbd4acb04956a73ccf","features":{"default":["std"],"std":["elenchus-compiler/std"]},"yanked":false,"pubtime":"2026-06-29T12:42:54Z"}
{"name":"elenchus-solver","vers":"0.11.0","deps":[{"name":"elenchus-compiler","req":"^0.11.0","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"insta","req":"^1.41","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"95f39ff0acf21a3c1ecee18fdf6274cf7abb44c6988b0403dd6d0e836ed1d5d9","features":{"default":["std"],"std":["elenchus-compiler/std"]},"yanked":false,"pubtime":"2026-06-29T17:03:35Z"}
{"name":"elenchus-solver","vers":"0.12.0","deps":[{"name":"elenchus-compiler","req":"^0.12.0","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"insta","req":"^1.41","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"6e41495c8f14f4f6ceeec695c436a0305dc86c03db65ed2a441126c5a41c5627","features":{"default":["std"],"std":["elenchus-compiler/std"]},"yanked":false,"pubtime":"2026-06-30T19:42:00Z"}
{"name":"elenchus-solver","vers":"0.13.0","deps":[{"name":"criterion","req":"^0.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"elenchus-compiler","req":"^0.13.0","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"insta","req":"^1.41","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"89b007f22073d62d815696d626f3e133eb1757e717724153d6abbb42a0420712","features":{"default":["std"],"std":["elenchus-compiler/std"]},"yanked":false,"pubtime":"2026-07-03T04:56:41Z"}
{"name":"elenchus-solver","vers":"0.14.0","deps":[{"name":"criterion","req":"^0.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"elenchus-compiler","req":"^0.14.0","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"insta","req":"^1.41","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"cce99829041ca161cfb7112fa59a90d65b8a0316c93eb743d22dcdb105cc38c6","features":{"default":["std"],"std":["elenchus-compiler/std"]},"yanked":false,"pubtime":"2026-07-03T19:38:44Z"}
{"name":"elenchus-solver","vers":"0.15.0","deps":[{"name":"criterion","req":"^0.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"elenchus-compiler","req":"^0.15.0","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"insta","req":"^1.41","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"919cba19ea2fd9d239c277aa98c31d514550910579155b08ff9a4c4b40bfefa9","features":{"default":["std"],"std":["elenchus-compiler/std"]},"yanked":false,"pubtime":"2026-07-04T09:16:55Z"}