{"name":"taco-smt-encoder","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":"serde","req":"^1.0.228","features":["derive"],"optional":true,"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-threshold-automaton","req":"^0.1.0-alpha.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"4d88b66714c5e2f81de7d40d95c27fdad7935b6108458285356090702fc85d00","features":{},"features2":{"config_deserialize":["dep:serde"]},"yanked":true,"pubtime":"2026-01-19T14:48:25Z","v":2}
{"name":"taco-smt-encoder","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":"serde","req":"^1.0.228","features":["derive"],"optional":true,"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-threshold-automaton","req":"^0.1.0-alpha.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"80823fa2aa0f82f7829acb75aff56fed36785c77665ba8f7936d600e1c02491d","features":{},"features2":{"config_deserialize":["dep:serde"]},"yanked":true,"pubtime":"2026-01-20T07:37:04Z","v":2}
{"name":"taco-smt-encoder","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":"serde","req":"^1.0.228","features":["derive"],"optional":true,"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-threshold-automaton","req":"^0.1.0-alpha.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c6872f16de7ef32b46b15ad792dd6338d66514011617e7b96faf30c40c6062c9","features":{},"features2":{"config_deserialize":["dep:serde"]},"yanked":true,"pubtime":"2026-01-20T07:56:39Z","v":2}
{"name":"taco-smt-encoder","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":"serde","req":"^1.0.228","features":["derive"],"optional":true,"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-threshold-automaton","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"42d19db98ea566fc95aee2fd48c385439db081d1ef80a6f7fd9e4bea8821a238","features":{},"features2":{"config_deserialize":["dep:serde"]},"yanked":false,"pubtime":"2026-01-20T09:29:42Z","v":2}