{"name":"rust-formal-verification","vers":"0.1.0","deps":[],"cksum":"035d7a578470d3f32f2fc0df5a4b92cdaa7f1b27aad3f99e3bf7e273dbedc124","features":{},"yanked":true,"pubtime":"2022-08-01T21:46:27Z"}
{"name":"rust-formal-verification","vers":"0.1.1","deps":[],"cksum":"ae4af327933222c217859e4742503e377db87974c5288c93cff6923d7003887b","features":{},"yanked":true,"pubtime":"2022-08-02T10:44:56Z"}
{"name":"rust-formal-verification","vers":"0.1.2","deps":[],"cksum":"d3e75fd0499747b3ea910c165b066bf7d18b0a9a5150bbcd1f56f60439a4693a","features":{},"yanked":true,"pubtime":"2022-08-02T10:50:04Z"}
{"name":"rust-formal-verification","vers":"0.1.3","deps":[],"cksum":"ec5d1833f2418a2e26ef55629437f95e7bf23f425bf38366d6ec7785c3b591a0","features":{},"yanked":true,"pubtime":"2022-09-12T11:24:33Z"}
{"name":"rust-formal-verification","vers":"0.1.4","deps":[{"name":"pretty_assertions","req":"^1.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"priority-queue","req":"^1.2.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"splr","req":"^0.16.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"walkdir","req":"^2.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"640b68a5370041ea1ec546e6d7dbe4b3ef28964a2edf859218f134fafa897e73","features":{},"yanked":true,"pubtime":"2022-11-02T22:03:12Z"}
{"name":"rust-formal-verification","vers":"0.1.5","deps":[{"name":"cadical","req":"^0.1.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"pretty_assertions","req":"^1.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"priority-queue","req":"^1.2.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"splr","req":"^0.16.3","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"},{"name":"walkdir","req":"^2.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"7a1d53b349524bfb8dcb8f7376632b000eb4f6667b333e6f30e4f99ea6e0ed28","features":{},"yanked":true,"pubtime":"2022-11-20T13:45:39Z"}
{"name":"rust-formal-verification","vers":"0.1.6","deps":[{"name":"cadical","req":"^0.1.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"pretty_assertions","req":"^1.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"priority-queue","req":"^1.2.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"splr","req":"^0.16.3","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"},{"name":"walkdir","req":"^2.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"5c1dce8d7a35551ee40e07c2a116dca5f16e3bd40f81a0a4f59d55df4286a3ac","features":{},"yanked":true,"pubtime":"2022-11-22T14:03:49Z"}
{"name":"rust-formal-verification","vers":"0.1.7","deps":[{"name":"cadical","req":"^0.1.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"minisat","req":"^0.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"priority-queue","req":"^1.2.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"splr","req":"^0.16.3","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"},{"name":"walkdir","req":"^2.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"bde70eea9453cf984d73d874da4a44143494bf1c4630bf2492f8e6f3e8887f79","features":{},"yanked":true,"pubtime":"2022-12-20T22:42:21Z"}
{"name":"rust-formal-verification","vers":"0.1.8","deps":[{"name":"cadical","req":"^0.1.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"minisat","req":"^0.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"priority-queue","req":"^1.2.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"splr","req":"^0.16.3","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"},{"name":"walkdir","req":"^2.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"daaf1b164559d7c9183a4413c376d450433564541628013ca54ac50aa3b4414a","features":{},"yanked":true,"pubtime":"2022-12-27T17:34:18Z"}
{"name":"rust-formal-verification","vers":"0.1.9","deps":[{"name":"cadical","req":"^0.1.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"minisat","req":"^0.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"priority-queue","req":"^1.2.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"splr","req":"^0.16.3","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"},{"name":"walkdir","req":"^2.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"a90eec3075c9a1ba71a1dcd1f871289ccce738b5a02dd676e5fdbc3afd42e0af","features":{},"yanked":true,"pubtime":"2023-01-08T23:52:22Z"}
{"name":"rust-formal-verification","vers":"0.1.10","deps":[{"name":"cadical","req":"^0.1.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"minisat","req":"^0.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"priority-queue","req":"^1.2.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"splr","req":"^0.16.3","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"},{"name":"walkdir","req":"^2.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"25337cf964be2aa1b3a81a5d98587580fcb5ca73b6936cf67401bdc4f6dcdd43","features":{},"yanked":true,"pubtime":"2023-01-09T10:16:09Z"}
{"name":"rust-formal-verification","vers":"0.1.11","deps":[{"name":"cadical","req":"^0.1.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"minisat","req":"^0.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"priority-queue","req":"^1.2.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"splr","req":"^0.16.3","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"},{"name":"walkdir","req":"^2.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"4db3ca6275c56bb3ff180083976b5ed2571d6d458cf3b3ceea02ced55da3ce6e","features":{},"yanked":true,"pubtime":"2023-01-21T14:47:07Z"}