{"name":"taco-zcs-model-checker","vers":"0.1.0-alpha.1","deps":[{"name":"easy-smt","req":"^0.3.2","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-bdd","req":"^0.1.0-alpha.1","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-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":[],"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"}],"cksum":"e8e001523e6b58704d4bf18d740b301a40830114d6198382daa4bce284171781","features":{"cudd":["taco-bdd/cudd"],"default":["cudd","dot"],"dot":["taco-threshold-automaton/dot"],"oxidd":["taco-bdd/oxidd"]},"yanked":true,"pubtime":"2026-01-19T16:11:02Z"}
{"name":"taco-zcs-model-checker","vers":"0.1.0-alpha.2","deps":[{"name":"easy-smt","req":"^0.3.2","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-bdd","req":"^0.1.0-alpha.2","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-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":[],"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"}],"cksum":"9f2f18b985ad33a52678cbadfdd86a44e411bf973fcb31847e0fb8214ddc515a","features":{"cudd":["taco-bdd/cudd"],"default":["cudd","dot"],"dot":["taco-threshold-automaton/dot"],"oxidd":["taco-bdd/oxidd"]},"yanked":true,"pubtime":"2026-01-20T07:37:10Z"}
{"name":"taco-zcs-model-checker","vers":"0.1.0-alpha.3","deps":[{"name":"easy-smt","req":"^0.3.2","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-bdd","req":"^0.1.0-alpha.3","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-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":[],"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"}],"cksum":"54df3c96a9c7c6502e1f92c323b71782df11b56d5d3f60ec96905c77865a32af","features":{"cudd":["taco-bdd/cudd"],"default":["cudd","dot"],"dot":["taco-threshold-automaton/dot"],"oxidd":["taco-bdd/oxidd"]},"yanked":true,"pubtime":"2026-01-20T07:56:46Z"}
{"name":"taco-zcs-model-checker","vers":"0.1.0","deps":[{"name":"easy-smt","req":"^0.3.2","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-bdd","req":"^0.1.0","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-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":[],"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"}],"cksum":"c37d154aebe648e05432a28d3041e1d257a3ef66d9d6a2dfe5ae481435ed2b66","features":{"cudd":["taco-bdd/cudd"],"default":["cudd","dot"],"dot":["taco-threshold-automaton/dot"],"oxidd":["taco-bdd/oxidd"]},"yanked":false,"pubtime":"2026-01-20T09:29:48Z"}