{"name":"btor","vers":"0.1.0","deps":[{"name":"aig","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b4b1e3f760b678cca208536795d4f44fcbcd2aa9391577080e60861a28a51caa","features":{},"yanked":false,"pubtime":"2024-12-07T07:52:13Z"}
{"name":"btor","vers":"0.2.0","deps":[{"name":"giputils","req":"^0.3.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicrs","req":"^0.5.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2.19","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"strum","req":"^0.27.1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"9654ae26f8b8638d38c2774639c074dc6c3048dc1b495965068f1c713306c9bb","features":{},"yanked":false,"pubtime":"2025-06-24T04:53:24Z"}
{"name":"btor","vers":"0.2.1","deps":[{"name":"giputils","req":"^0.3.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicrs","req":"^0.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2.19","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"strum","req":"^0.27.1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"37d6a1a520915efdbada2f0f1ac75e7e8244b7c42174cdbc46f35c60cd77c620","features":{},"yanked":false,"pubtime":"2025-09-05T01:42:43Z"}
{"name":"btor","vers":"0.2.2","deps":[{"name":"giputils","req":"^0.3.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicrs","req":"^0.6.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2.19","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"strum","req":"^0.27.1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"3bec6b1393e9f4a68ff3a33d3619f3add34ea4eec3e49d5c7344c641a812431e","features":{},"yanked":false,"pubtime":"2025-12-07T06:28:15Z"}