{"name":"mrs","vers":"0.1.0","deps":[],"cksum":"218f0573defba16622d97a1ffcb0645f0608163f9cea4e588457a5b865e3e3b9","features":{},"yanked":false,"pubtime":"2020-06-11T21:10:33Z"}
{"name":"mrs","vers":"0.1.1","deps":[{"name":"mrs-calculus","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mrs-cnf","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-proof","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mrs-search","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mrs-szs","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mrs-tptp","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mrs-unify","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"839fd37961e7b166a3d5fb0128115c13e8cd62a130095dd1e34e0144d37778e4","features":{},"yanked":false,"rust_version":"1.85","pubtime":"2026-05-24T13:33:25Z"}
{"name":"mrs","vers":"0.1.2","deps":[{"name":"mrs-calculus","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mrs-cnf","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-proof","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mrs-search","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mrs-szs","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mrs-tptp","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mrs-unify","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"22650506bb16475be45ab6dee7ff45fe2463cc09fecab9315d1112328744b954","features":{},"yanked":false,"rust_version":"1.85","pubtime":"2026-05-24T13:53:52Z"}
{"name":"mrs","vers":"0.1.3","deps":[{"name":"mrs-calculus","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mrs-cnf","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-proof","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mrs-search","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mrs-szs","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mrs-tptp","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mrs-unify","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"815419a32469614aca6290bae9af90e3aa42721f11f959976e6a7d6a1aa4f286","features":{},"yanked":false,"rust_version":"1.85","pubtime":"2026-05-24T15:28:42Z"}
{"name":"mrs","vers":"0.1.5","deps":[{"name":"mrs-calculus","req":"^0.1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mrs-cnf","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-search","req":"^0.1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mrs-szs","req":"^0.1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mrs-tptp","req":"^0.1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mrs-unify","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":"15db918647270f4382af3c7144eb3fe2ba9acb74761685347498ba909a1aa87c","features":{},"yanked":false,"rust_version":"1.95","pubtime":"2026-05-28T07:51:45Z"}
{"name":"mrs","vers":"0.1.8","deps":[{"name":"mrs-calculus","req":"^0.1.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mrs-cnf","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-search","req":"^0.1.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mrs-szs","req":"^0.1.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mrs-tptp","req":"^0.1.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mrs-unify","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":"5c65b8ef8d4add7a6bc96bf3c44b00c70ebef26b714594b06bd95e1293f91038","features":{"default":[],"proover":[]},"yanked":false,"rust_version":"1.95","pubtime":"2026-05-30T21:59:04Z"}
{"name":"mrs","vers":"0.1.9","deps":[{"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-cnf","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-search","req":"^0.1.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mrs-szs","req":"^0.1.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mrs-tptp","req":"^0.1.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mrs-unify","req":"^0.1.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8a4e19e15a97e45dc89f3b60d51e49ed57043958897c6f5926399f67029702d9","features":{"default":[],"ml":["mrs-core/ml","mrs-search/ml-guidance"],"ml-guidance":["mrs-core/ml","mrs-search/ml-guidance"],"proover":[]},"yanked":false,"rust_version":"1.95","pubtime":"2026-06-22T21:36:59Z"}