{"name":"taco-cli","vers":"0.1.0-alpha.1","deps":[{"name":"anyhow","req":"^1.0.100","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.50","features":["derive","color"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"config","req":"^0.15.18","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"human-panic","req":"^2.0.3","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":"log4rs","req":"^1.4.0","features":["serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.145","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serial_test","req":"^3.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"taco-acs-model-checker","req":"^0.1.0-alpha.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-bdd","req":"^0.1.0-alpha.1","features":["config_deserialize"],"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-interval-ta","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":["config_deserialize"],"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":"normal"},{"name":"taco-smt-encoder","req":"^0.1.0-alpha.1","features":["config_deserialize"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-smt-model-checker","req":"^0.1.0-alpha.1","features":["parallel"],"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":"taco-zcs-model-checker","req":"^0.1.0-alpha.1","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":"dev"}],"cksum":"8f6570563c1f2ec5d702912a3fbd961c3e0f0c4bc9c7e0a21ee238452e1ab501","features":{"cudd":["taco-bdd/cudd"],"default":["cudd","dot"],"dot":["taco-threshold-automaton/dot"],"oxidd":["taco-bdd/oxidd"]},"yanked":true,"pubtime":"2026-01-19T16:18:01Z"}
{"name":"taco-cli","vers":"0.1.0-alpha.2","deps":[{"name":"anyhow","req":"^1.0.100","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.50","features":["derive","color"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"config","req":"^0.15.18","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"human-panic","req":"^2.0.3","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":"log4rs","req":"^1.4.0","features":["serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.145","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serial_test","req":"^3.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"taco-acs-model-checker","req":"^0.1.0-alpha.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-bdd","req":"^0.1.0-alpha.2","features":["config_deserialize"],"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-interval-ta","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":["config_deserialize"],"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":"normal"},{"name":"taco-smt-encoder","req":"^0.1.0-alpha.2","features":["config_deserialize"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-smt-model-checker","req":"^0.1.0-alpha.2","features":["parallel"],"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":"taco-zcs-model-checker","req":"^0.1.0-alpha.2","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":"dev"}],"cksum":"c23f9438eb7c4ce4422d490889606e093f65e320eee3060507438566b68085e9","features":{"cudd":["taco-bdd/cudd"],"default":["cudd","dot"],"dot":["taco-threshold-automaton/dot"],"oxidd":["taco-bdd/oxidd"]},"yanked":true,"pubtime":"2026-01-20T07:37:12Z"}
{"name":"taco-cli","vers":"0.1.0-alpha.3","deps":[{"name":"anyhow","req":"^1.0.100","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.50","features":["derive","color"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"config","req":"^0.15.18","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"human-panic","req":"^2.0.3","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":"log4rs","req":"^1.4.0","features":["serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.145","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serial_test","req":"^3.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"taco-acs-model-checker","req":"^0.1.0-alpha.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-bdd","req":"^0.1.0-alpha.3","features":["config_deserialize"],"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-interval-ta","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":["config_deserialize"],"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":"normal"},{"name":"taco-smt-encoder","req":"^0.1.0-alpha.3","features":["config_deserialize"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-smt-model-checker","req":"^0.1.0-alpha.3","features":["parallel"],"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":"taco-zcs-model-checker","req":"^0.1.0-alpha.3","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":"dev"}],"cksum":"d6399aa7fb6fd19b6d6630260ed13fc95813e1aa2bc097426dce997cebb1f6eb","features":{"cudd":["taco-bdd/cudd"],"default":["cudd","dot"],"dot":["taco-threshold-automaton/dot"],"oxidd":["taco-bdd/oxidd"]},"yanked":true,"pubtime":"2026-01-20T07:56:48Z"}
{"name":"taco-cli","vers":"0.1.0","deps":[{"name":"anyhow","req":"^1.0.100","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.50","features":["derive","color"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"config","req":"^0.15.18","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"human-panic","req":"^2.0.3","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":"log4rs","req":"^1.4.0","features":["serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.145","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serial_test","req":"^3.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"taco-acs-model-checker","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-bdd","req":"^0.1.0","features":["config_deserialize"],"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-interval-ta","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-model-checker","req":"^0.1.0","features":["config_deserialize"],"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":"normal"},{"name":"taco-smt-encoder","req":"^0.1.0","features":["config_deserialize"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-smt-model-checker","req":"^0.1.0","features":["parallel"],"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":"taco-zcs-model-checker","req":"^0.1.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":"dev"}],"cksum":"958a05762483c8f0f5fe7acd7298d0e4760b072cebd62ec6dbe6ad61cddc9603","features":{"cudd":["taco-bdd/cudd"],"default":["cudd","dot"],"dot":["taco-threshold-automaton/dot"],"oxidd":["taco-bdd/oxidd"]},"yanked":false,"pubtime":"2026-01-20T09:29:50Z"}