{"name":"mrs-search","vers":"0.1.0","deps":[{"name":"mrs-calculus","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mrs-core","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mrs-index","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2a42341d9accf54677a6f84ac1fb0e5e4d11a7a1ba2d420b1b019bd1daa254d6","features":{},"yanked":false,"rust_version":"1.85","pubtime":"2026-05-24T13:32:09Z"}
{"name":"mrs-search","vers":"0.1.2","deps":[{"name":"mrs-calculus","req":"^0.1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mrs-core","req":"^0.1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mrs-index","req":"^0.1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mrs-proof","req":"^0.1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"varisat","req":"^0.2.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"94c117db278e56380f913b5afeb4aae96538d3e509cca3fcf1ad6f96e27e33e5","features":{},"yanked":false,"rust_version":"1.95","pubtime":"2026-05-28T07:51:38Z"}
{"name":"mrs-search","vers":"0.1.8","deps":[{"name":"mrs-calculus","req":"^0.1.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mrs-core","req":"^0.1.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mrs-index","req":"^0.1.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mrs-proof","req":"^0.1.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"varisat","req":"^0.2.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"9701d1db8c11e40a8ab87a6157b16e810df3389c79dbb350a6e7819676df6400","features":{},"yanked":false,"rust_version":"1.95","pubtime":"2026-05-30T21:57:48Z"}
{"name":"mrs-search","vers":"0.1.9","deps":[{"name":"burn","req":"^0.21.0","features":[],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"cadical","req":"^0.1.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mrs-calculus","req":"^0.1.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mrs-core","req":"^0.1.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mrs-index","req":"^0.1.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mrs-proof","req":"^0.1.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-hash","req":"^2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wincode","req":"^0.5.5","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"4a350eaf60b79b738a1b3dbc8a2893d5aed63a80899f87de61c4b0caa9201f30","features":{"default":[]},"features2":{"ml-guidance":["mrs-core/ml","dep:rand","dep:wincode","dep:burn","burn?/ndarray","burn?/std"]},"yanked":false,"rust_version":"1.95","pubtime":"2026-06-22T21:34:29Z","v":2}