{"name":"varisat","vers":"0.1.1","deps":[{"name":"clap","req":"^2.30.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.5.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"noisy_float","req":"^0.1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"quick-error","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"4ccce79ee3989086dabfd666e32d813a1169ebd30f9861c95911c51897a2d84e","features":{},"yanked":true,"pubtime":"2018-05-19T19:23:33Z"}
{"name":"varisat","vers":"0.1.3","deps":[{"name":"failure","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"failure_derive","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itoa","req":"^0.4.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"noisy_float","req":"^0.1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8985b5453a2438a68bf51944af635e1181cbd82aa86f1267a57e95c411bdc3ba","features":{},"yanked":true,"pubtime":"2018-09-14T12:11:20Z"}
{"name":"varisat","vers":"0.2.0","deps":[{"name":"bincode","req":"^1.1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"failure","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"failure","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"hashbrown","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itoa","req":"^0.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"leb128","req":"^0.2.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ordered-float","req":"^1.0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"partial_ref","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^0.9.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.6.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde","req":"^1.0.90","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"smallvec","req":"^0.6.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.0.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"3489a3b801d68be45f0f53c199b9da4936bba576656b84aa067024db2e78ad47","features":{},"yanked":false,"pubtime":"2019-05-04T09:39:32Z"}
{"name":"varisat","vers":"0.2.1","deps":[{"name":"env_logger","req":"^0.6.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"failure","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"failure","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"itoa","req":"^0.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"leb128","req":"^0.2.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ordered-float","req":"^1.0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"partial_ref","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^0.9.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.6.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde","req":"^1.0.91","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.0.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"varisat-checker","req":"= 0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"varisat-dimacs","req":"= 0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"varisat-formula","req":"= 0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"varisat-formula","req":"= 0.2.1","features":["proptest-strategies","internal-testing"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"varisat-internal-macros","req":"= 0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"varisat-internal-proof","req":"= 0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"vec_mut_scan","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a2640f5949bcd945ffdb030f5f336d0a5da8fe8ddab8e8230e2e030ea0623cfa","features":{},"yanked":false,"pubtime":"2019-05-18T08:27:31Z"}
{"name":"varisat","vers":"0.2.2","deps":[{"name":"anyhow","req":"^1.0.32","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"anyhow","req":"^1.0.32","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"env_logger","req":"^0.7.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"itoa","req":"^0.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"leb128","req":"^0.2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ordered-float","req":"^2.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"partial_ref","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^0.10.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.7.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rustc-hash","req":"^1.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.91","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"thiserror","req":"^1.0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"varisat-checker","req":"=0.2.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"varisat-dimacs","req":"=0.2.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"varisat-formula","req":"=0.2.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"varisat-formula","req":"=0.2.2","features":["proptest-strategies","internal-testing"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"varisat-internal-macros","req":"=0.2.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"varisat-internal-proof","req":"=0.2.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"vec_mut_scan","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"ebe609851d1e9196674ac295f656bd8601200a1077343d22b345013497807caf","features":{},"yanked":false,"pubtime":"2020-09-09T17:10:13Z"}