{"name":"smt-scope","vers":"0.1.0","deps":[{"name":"ammonia","req":"^4.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"assert_cmd","req":"^2.0.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"bitmask-enum","req":"^2.2.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cap","req":"^0.1.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.4","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"duplicate","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"either","req":"^1.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"futures","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"fxhash","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lasso","req":"^0.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mem_dbg","req":"^0.2.4","features":["std","derive"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"memory-stats","req":"^1.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"nonmax","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.6.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.10","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"roaring","req":"^0.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"semver","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.183","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"strum","req":"^0.26","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"typed-index-collections","req":"^3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wasm-timer","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"ebd60cf77fab88f0bfcb2470099ad6b03ad0bf980b532b33b7044e6aac889dc9","features":{"analysis":[],"never_panic":[]},"features2":{"default":["display","analysis"],"display":["dep:regex"],"display_html":["dep:ammonia"],"mem_dbg":["dep:mem_dbg","dep:cap"],"serde":["dep:serde","lasso/serialize","nonmax/serde","typed-index-collections/serde-std","num/serde","petgraph/serde-1"]},"yanked":false,"pubtime":"2025-03-17T22:08:41Z","v":2}
{"name":"smt-scope","vers":"0.1.1","deps":[{"name":"ammonia","req":"^4.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"assert_cmd","req":"^2.0.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"bitmask-enum","req":"^2.2.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cap","req":"^0.1.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.4","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"duplicate","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"either","req":"^1.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"futures","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"fxhash","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lasso","req":"^0.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mem_dbg","req":"^0.2.4","features":["std","derive"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"memory-stats","req":"^1.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"nonmax","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.6.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.10","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"roaring","req":"^0.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"semver","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.183","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"strum","req":"^0.26","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"typed-index-collections","req":"^3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wasm-timer","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"87c85f68482ba04a801ad976087f6bf3adee0db6bbc4340480ddf9d5ce032079","features":{"analysis":[],"never_panic":[]},"features2":{"default":["display","analysis"],"display":["dep:regex"],"display_html":["dep:ammonia"],"mem_dbg":["dep:mem_dbg","dep:cap"],"serde":["dep:serde","lasso/serialize","nonmax/serde","typed-index-collections/serde-std","num/serde","petgraph/serde-1"]},"yanked":false,"pubtime":"2025-03-18T08:38:50Z","v":2}
{"name":"smt-scope","vers":"0.1.2","deps":[{"name":"ammonia","req":"^4.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"assert_cmd","req":"^2.0.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"bitmask-enum","req":"^2.2.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cap","req":"^0.1.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.4","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"duplicate","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"either","req":"^1.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"futures","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"fxhash","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lasso","req":"^0.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mem_dbg","req":"^0.2.4","features":["std","derive"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"memory-stats","req":"^1.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"nonmax","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.6.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.10","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"roaring","req":"^0.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"semver","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.183","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"strum","req":"^0.26","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"typed-index-collections","req":"^3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wasm-timer","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"1b448560447536c1ef0197d322db9e5b45a29a4f858b3974347744353b0add14","features":{"analysis":[],"never_panic":[],"serde":["lasso/serialize","nonmax/serde","typed-index-collections/serde-std","num/serde","petgraph/serde-1"]},"features2":{"default":["display","analysis"],"display":["dep:regex"],"display_html":["dep:ammonia"],"mem_dbg":["dep:mem_dbg","dep:cap"]},"yanked":false,"pubtime":"2025-03-18T15:23:25Z","v":2}
{"name":"smt-scope","vers":"0.1.3","deps":[{"name":"ammonia","req":"^4.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"assert_cmd","req":"^2.0.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"bitmask-enum","req":"^2.2.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cap","req":"^0.1.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.4","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"duplicate","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"either","req":"^1.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"futures","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"fxhash","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lasso","req":"^0.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mem_dbg","req":"^0.2.4","features":["std","derive"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"memory-stats","req":"^1.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"nonmax","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.6.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.10","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"semver","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.183","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"strum","req":"^0.26","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"typed-index-collections","req":"^3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wasm-timer","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"e5072b305106fc7cd15c5c0f29f492881e8cb7b7f6d8f93886594e54bbfed728","features":{"analysis":[],"serde":["lasso/serialize","nonmax/serde","typed-index-collections/serde-std","num/serde","petgraph/serde-1"],"test_verifiers":[]},"features2":{"default":["display","analysis"],"display":["dep:regex"],"display_html":["dep:ammonia"],"mem_dbg":["dep:mem_dbg","dep:cap"]},"yanked":false,"pubtime":"2025-03-19T15:27:11Z","v":2}
{"name":"smt-scope","vers":"0.1.4","deps":[{"name":"ammonia","req":"^4.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"assert_cmd","req":"^2.0.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"bitmask-enum","req":"^2.2.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cap","req":"^0.1.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.4","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"duplicate","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"either","req":"^1.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"futures","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"fxhash","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lasso","req":"^0.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mem_dbg","req":"^0.2.4","features":["std","derive"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"memory-stats","req":"^1.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"nonmax","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.6.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.10","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"semver","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.183","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"strum","req":"^0.26","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"typed-index-collections","req":"^3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wasm-timer","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"e8a3af8ee8e50691b7c084d97d4c91d74a518fbc2db95e71c9eef051dfcc4d8f","features":{"analysis":[],"offset_of_enum":["mem_dbg/offset_of_enum"],"serde":["lasso/serialize","nonmax/serde","typed-index-collections/serde-std","num/serde","petgraph/serde-1"],"test_verifiers":[]},"features2":{"default":["display","analysis"],"display":["dep:regex"],"display_html":["dep:ammonia"],"mem_dbg":["dep:mem_dbg","dep:cap"]},"yanked":false,"pubtime":"2025-10-02T08:59:14Z","v":2}
{"name":"smt-scope","vers":"0.1.5","deps":[{"name":"ammonia","req":"^4.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"assert_cmd","req":"^2.0.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"bitmask-enum","req":"^2.2.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cap","req":"^0.1.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.4","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"duplicate","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"either","req":"^1.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"futures","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"fxhash","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lasso","req":"^0.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mem_dbg","req":"^0.2.4","features":["std","derive"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"memory-stats","req":"^1.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"nonmax","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.6.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.10","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"semver","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.183","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"strum","req":"^0.26","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"typed-index-collections","req":"^3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wasm-timer","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"17c9495dd9e3c10d6dc22822c213f869dca09a54f252f4da88db6e634dd07834","features":{"analysis":[],"offset_of_enum":["mem_dbg/offset_of_enum"],"serde":["lasso/serialize","nonmax/serde","typed-index-collections/serde-std","num/serde","petgraph/serde-1"],"test_verifiers":[]},"features2":{"default":["display","analysis"],"display":["dep:regex"],"display_html":["dep:ammonia"],"mem_dbg":["dep:mem_dbg","dep:cap"]},"yanked":false,"pubtime":"2025-10-02T15:22:50Z","v":2}
{"name":"smt-scope","vers":"0.1.6","deps":[{"name":"ammonia","req":"^4.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"assert_cmd","req":"^2.0.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"bitmask-enum","req":"^2.2.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cap","req":"^0.1.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.4","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"duplicate","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"either","req":"^1.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"futures","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"fxhash","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lasso","req":"^0.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mem_dbg","req":"^0.2.4","features":["std","derive"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"memory-stats","req":"^1.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"nonmax","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.6.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.10","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"semver","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.183","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"strum","req":"^0.26","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"typed-index-collections","req":"^3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wasm-timer","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a25900a67386032dce04b06b8f4e1e1c0c1f19648bd7a5f9e0094ced3b9b019e","features":{"analysis":[],"offset_of_enum":["mem_dbg/offset_of_enum"],"serde":["lasso/serialize","nonmax/serde","typed-index-collections/serde-std","num/serde","petgraph/serde-1"],"test_verifiers":[]},"features2":{"default":["display","analysis"],"display":["dep:regex"],"display_html":["dep:ammonia"],"mem_dbg":["dep:mem_dbg","dep:cap"]},"yanked":false,"pubtime":"2025-10-30T15:35:41Z","v":2}
{"name":"smt-scope","vers":"0.1.7","deps":[{"name":"ammonia","req":"^4.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"assert_cmd","req":"^2.0.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"bitmask-enum","req":"^2.2.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cap","req":"^0.1.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.4","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"duplicate","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"either","req":"^1.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"futures","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"fxhash","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lasso","req":"^0.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mem_dbg","req":"^0.2.4","features":["std","derive"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"memory-stats","req":"^1.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"nonmax","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.6.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.10","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"semver","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.183","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"strum","req":"^0.26","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"typed-index-collections","req":"^3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wasm-timer","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"e2c8d483de29dd414b85ff6ddb2165240211ba5a30f1c47e1368d1c261f21d1a","features":{"analysis":[],"offset_of_enum":["mem_dbg/offset_of_enum"],"serde":["lasso/serialize","nonmax/serde","typed-index-collections/serde-std","num/serde","petgraph/serde-1"],"test_verifiers":[]},"features2":{"default":["display","analysis"],"display":["dep:regex"],"display_html":["dep:ammonia"],"mem_dbg":["dep:mem_dbg","dep:cap"]},"yanked":false,"pubtime":"2025-10-30T15:57:18Z","v":2}