{"name":"sat-solver","vers":"0.1.0","deps":[{"name":"clap","req":"^2.33.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-rational","req":"^0.2.4","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":"priority-queue","req":"^0.7.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"57a71bd272dc255681e12a0813b3de51e09222aae7acf9b914e29498bb6cc523","features":{},"yanked":false,"pubtime":"2020-05-09T14:10:32Z"}
{"name":"sat-solver","vers":"0.1.1","deps":[{"name":"clap","req":"^2.33.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-rational","req":"^0.2.4","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":"priority-queue","req":"^0.7.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"aab1a9f5d7719e440ac0a0fc1ae65e08a249f4445c814fdab4a74229c33abc5f","features":{},"yanked":false,"pubtime":"2020-05-25T01:57:21Z"}
{"name":"sat-solver","vers":"0.2.0","deps":[{"name":"bit-vec","req":"^0.8.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.38","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap_complete","req":"^4.5.51","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.6.0","features":["html_reports"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"fastrand","req":"^2.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ordered-float","req":"^5.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-hash","req":"^2.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"smallvec","req":"^1.14.0","features":["const_generics","const_new"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tikv-jemalloc-ctl","req":"^0.6.0","features":["stats"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tikv-jemallocator","req":"^0.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"walkdir","req":"^2.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"15e6e02aeece57097562d2cb344d66f6866407bf4e496e6169fb33b040f9665d","features":{},"yanked":false,"pubtime":"2025-06-12T14:42:07Z"}
{"name":"sat-solver","vers":"0.2.1","deps":[{"name":"bit-vec","req":"^0.8.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.38","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap_complete","req":"^4.5.51","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.6.0","features":["html_reports"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"fastrand","req":"^2.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ordered-float","req":"^5.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-hash","req":"^2.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"smallvec","req":"^1.14.0","features":["const_generics","const_new"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tikv-jemalloc-ctl","req":"^0.6.0","features":["stats"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tikv-jemallocator","req":"^0.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"walkdir","req":"^2.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"88cd103be914a41a47ce1f0a3d2d826079528408f89c597268561eac160d6649","features":{},"yanked":false,"pubtime":"2025-06-12T14:45:08Z"}