{"name":"taco-smt-model-checker","vers":"0.1.0-alpha.1","deps":[{"name":"env_logger","req":"^0.11.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"futures","req":"^0.3.31","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.28","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-display-utils","req":"^0.1.0-alpha.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-model-checker","req":"^0.1.0-alpha.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-parser","req":"^0.1.0-alpha.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"taco-smt-encoder","req":"^0.1.0-alpha.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-threshold-automaton","req":"^0.1.0-alpha.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.48.0","features":["rt","rt-multi-thread"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"walkdir","req":"^2.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"342bebe347c2775c150c0edc4608927a5e2329ba40517868b5c34520d3a533bf","features":{"default":[]},"features2":{"parallel":["dep:tokio","dep:futures"]},"yanked":true,"pubtime":"2026-01-19T15:59:51Z","v":2}
{"name":"taco-smt-model-checker","vers":"0.1.0-alpha.2","deps":[{"name":"env_logger","req":"^0.11.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"futures","req":"^0.3.31","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.28","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-display-utils","req":"^0.1.0-alpha.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-model-checker","req":"^0.1.0-alpha.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-parser","req":"^0.1.0-alpha.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"taco-smt-encoder","req":"^0.1.0-alpha.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-threshold-automaton","req":"^0.1.0-alpha.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.48.0","features":["rt","rt-multi-thread"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"walkdir","req":"^2.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"3f7573aa2b04090cda0d7d9bb943acaef17a6ced7cf04e4f0585346bf81aaa21","features":{"default":[]},"features2":{"parallel":["dep:tokio","dep:futures"]},"yanked":true,"pubtime":"2026-01-20T07:37:09Z","v":2}
{"name":"taco-smt-model-checker","vers":"0.1.0-alpha.3","deps":[{"name":"env_logger","req":"^0.11.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"futures","req":"^0.3.31","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.28","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-display-utils","req":"^0.1.0-alpha.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-model-checker","req":"^0.1.0-alpha.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-parser","req":"^0.1.0-alpha.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"taco-smt-encoder","req":"^0.1.0-alpha.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-threshold-automaton","req":"^0.1.0-alpha.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.48.0","features":["rt","rt-multi-thread"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"walkdir","req":"^2.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"b06ffd3ed1a443f78a6d796abffb3593e94c2f02828f8c8d89d7462c202523d0","features":{"default":[]},"features2":{"parallel":["dep:tokio","dep:futures"]},"yanked":true,"pubtime":"2026-01-20T07:56:44Z","v":2}
{"name":"taco-smt-model-checker","vers":"0.1.0","deps":[{"name":"env_logger","req":"^0.11.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"futures","req":"^0.3.31","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.28","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-display-utils","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-model-checker","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-parser","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"taco-smt-encoder","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-threshold-automaton","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.48.0","features":["rt","rt-multi-thread"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"walkdir","req":"^2.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"855984dd969adeaa9f9aa5dd1c1b2d36f482c183254077bac484bb37978daa8f","features":{"default":[]},"features2":{"parallel":["dep:tokio","dep:futures"]},"yanked":false,"pubtime":"2026-01-20T09:29:47Z","v":2}