{"name":"monster-rs","vers":"0.1.0","deps":[{"name":"anyhow","req":"~1.0.34","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector","req":"^0.4.2","features":["vendor-lgl"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"byteorder","req":"~1.3.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bytesize","req":"~1.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cargo-husky","req":"^1","features":["user-hooks"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"clap","req":"^3.0.0-beta.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"divisors","req":"~0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"~0.8.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"goblin","req":"~0.2.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"~0.9.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"~0.4.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"modinverse","req":"~0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"~0.5.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"~0.7.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rayon","req":"~1.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"riscu","req":"~0.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"~3.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"thiserror","req":"~1.0.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"~0.7.1","features":["static-link-z3"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a03c6786763398d56904a21d08188a34360a7278de25426eb5561c82084d3317","features":{"pictures":[]},"yanked":false,"pubtime":"2021-01-20T20:06:29Z"}
{"name":"monster-rs","vers":"0.2.0","deps":[{"name":"anyhow","req":"~1.0.38","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector","req":"~0.4.2","features":["vendor-lgl"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"byteorder","req":"~1.4.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bytesize","req":"~1.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cargo-husky","req":"^1","features":["user-hooks"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"clap","req":"^3.0.0-beta.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"const_format","req":"~0.2.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"divisors","req":"~0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"~0.8.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"~0.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"~0.4.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"modinverse","req":"~0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"~0.5.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"~0.8.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rayon","req":"~1.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"riscu","req":"~0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"~3.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"thiserror","req":"~1.0.24","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"which","req":"~4.0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3","req":"~0.9.0","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2b064e2b170f594adafb3b815c32543456d9aa528afe04487e1dd1877d56ea30","features":{"boolector-solver":["boolector"],"default":[],"z3-solver":["z3"]},"yanked":false,"pubtime":"2021-02-23T18:59:39Z"}
{"name":"monster-rs","vers":"0.3.0","deps":[{"name":"anyhow","req":"~1.0.38","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector","req":"~0.4.2","features":["vendor-lgl"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"byteorder","req":"~1.4.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bytesize","req":"~1.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cargo-husky","req":"^1","features":["user-hooks"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"clap","req":"~2.33.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"const_format","req":"~0.2.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"~0.3.4","features":["html_reports","cargo_bench_support","csv_output"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"divisors","req":"~0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"~0.8.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"~0.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"~1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"~0.4.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"modinverse","req":"~0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"~0.5.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"~0.8.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rayon","req":"~1.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"riscu","req":"~0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"strum","req":"~0.20.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"~3.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"thiserror","req":"~1.0.24","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"~0.9.0","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"e1473805a4faaf33a94f27765388c081c38386c085bdf6ab1736a52999be572e","features":{"default":[]},"yanked":false,"pubtime":"2021-03-10T14:49:36Z"}
{"name":"monster-rs","vers":"0.4.0","deps":[{"name":"anyhow","req":"~1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector-solver","req":"~0.4","features":["vendor-lgl"],"optional":true,"default_features":true,"target":null,"kind":"normal","package":"boolector"},{"name":"boolector-sys","req":"~0","features":["vendor-lgl"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"byteorder","req":"~1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bytesize","req":"~1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cargo-husky","req":"^1","features":["user-hooks"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"clap","req":"~2.33","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"const_format","req":"~0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"~0.3","features":["html_reports","cargo_bench_support","csv_output"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"divisors","req":"~0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"~0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"~0.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"~1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"~0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"~0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"modinverse","req":"~0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"~0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"~0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rayon","req":"~1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"riscu","req":"~0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"strum","req":"~0.21","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"~3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"thiserror","req":"~1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-solver","req":"~0.10","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal","package":"z3"},{"name":"z3-sys","req":"~0","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"1930a834ca5de81e5485de02ea560c10c3500aebf5544a260e0fa73f95c9e428","features":{"boolector":["boolector-solver","boolector-sys"],"default":[],"z3":["z3-solver","z3-sys"]},"yanked":false,"pubtime":"2021-06-14T09:37:39Z"}
{"name":"monster-rs","vers":"0.4.1","deps":[{"name":"anyhow","req":"~1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector-solver","req":"~0.4","features":["vendor-lgl"],"optional":true,"default_features":true,"target":null,"kind":"normal","package":"boolector"},{"name":"boolector-sys","req":"~0","features":["vendor-lgl"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"byteorder","req":"~1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bytesize","req":"~1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cargo-husky","req":"^1","features":["user-hooks"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"clap","req":"~2.33","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"const_format","req":"~0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"~0.3","features":["html_reports","cargo_bench_support","csv_output"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"divisors","req":"~0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"~0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"~0.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"~1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"~0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"~0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"modinverse","req":"~0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"~0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"~0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rayon","req":"~1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"riscu","req":"~0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"strum","req":"~0.21","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"~3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"thiserror","req":"~1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-solver","req":"~0.10","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal","package":"z3"},{"name":"z3-sys","req":"~0","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8111904fe7f96a3bf71c558f55746425f09f390022292fea92dfdbf7681f8d74","features":{"boolector":["boolector-solver","boolector-sys"],"default":[],"z3":["z3-solver","z3-sys"]},"yanked":false,"pubtime":"2021-06-15T11:39:38Z"}