{"name":"biodivine-lib-bdd","vers":"0.1.0","deps":[{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"e986866ff9187eedc9f979f9735bbadf60dd579f2e9f98b0b90d0b46c35a0233","features":{"shields_up":[]},"yanked":false,"pubtime":"2020-02-07T15:58:40Z"}
{"name":"biodivine-lib-bdd","vers":"0.2.0","deps":[{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"fae9fca3240c5e6686dccaff8421826c38af813d0a53511595e7aa555793fa30","features":{"shields_up":[]},"yanked":false,"pubtime":"2020-12-15T10:14:13Z"}
{"name":"biodivine-lib-bdd","vers":"0.2.1","deps":[{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"e7b53a1bcd332b83b8f319bfb97cc113307c2512cf0c72f70f5e5184f7a622c3","features":{"shields_up":[]},"yanked":false,"pubtime":"2021-01-12T23:06:52Z"}
{"name":"biodivine-lib-bdd","vers":"0.3.0","deps":[{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"bddcfb460c1131729ec8d797ce0be49ec102506e764ce62f20a40056516851c5","features":{},"yanked":false,"pubtime":"2021-09-01T14:13:40Z"}
{"name":"biodivine-lib-bdd","vers":"0.4.0","deps":[{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"14fb5784ccc3dc18b08286a0c58ff584fdecf8d3c38e011d61120adedc1986df","features":{},"yanked":false,"pubtime":"2022-05-03T13:59:30Z"}
{"name":"biodivine-lib-bdd","vers":"0.4.1","deps":[{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"967934b40e38903f26498262995fd5c09b9470d8833590abd6a3de2b57c1a109","features":{},"yanked":false,"pubtime":"2022-10-21T11:47:26Z"}
{"name":"biodivine-lib-bdd","vers":"0.4.2","deps":[{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"6788c9f2c86e8189b4f622f8c6e10febfef7fa66d796a09f6074f5339ba3bae3","features":{},"yanked":false,"pubtime":"2022-12-05T19:14:03Z"}
{"name":"biodivine-lib-bdd","vers":"0.5.0","deps":[{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"5ecea4c50f6d5726939876b6a5158b34c69665244a34dc74da07d8fe93276c9d","features":{},"yanked":false,"pubtime":"2023-05-03T12:53:10Z"}
{"name":"biodivine-lib-bdd","vers":"0.5.1","deps":[{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"e0189459a969313e2f150a6003777dc4797686e36659fd93fc263166d8bd7d90","features":{},"yanked":false,"pubtime":"2023-05-08T15:40:08Z"}
{"name":"biodivine-lib-bdd","vers":"0.5.2","deps":[{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"20355266c0e5ba41df092b75ed6935f819aef88502ae7fc62f0564e0f951664e","features":{},"yanked":false,"pubtime":"2023-10-18T09:01:26Z"}
{"name":"biodivine-lib-bdd","vers":"0.5.3","deps":[{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"fe4b877268fec1b05059c321b959130f82274d4d1d13ccd713695a047a828eb6","features":{},"yanked":false,"pubtime":"2023-11-08T10:33:04Z"}
{"name":"biodivine-lib-bdd","vers":"0.5.4","deps":[{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"9b4db71e20281d5b486894e3a9b77d44ff15ef5a12cd4419e5af705660cd7c1c","features":{},"yanked":false,"pubtime":"2023-11-24T08:03:25Z"}
{"name":"biodivine-lib-bdd","vers":"0.5.5","deps":[{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"303eb21997b8f8612479ed79338a99f1d7611b2e79f4c821b0ea599203c7ec3a","features":{},"yanked":false,"pubtime":"2023-11-25T19:56:11Z"}
{"name":"biodivine-lib-bdd","vers":"0.5.6","deps":[{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"107dda36b2dc6a64d8a8599954ce2a27446b56f8edefdd742924ca2aa5fc814e","features":{},"yanked":false,"pubtime":"2023-12-01T15:12:38Z"}
{"name":"biodivine-lib-bdd","vers":"0.5.7","deps":[{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"81d91a6143b65c6744e3ed220c47bc932a028918f3fec61464634ef863e0ef73","features":{},"yanked":false,"pubtime":"2023-12-14T16:36:12Z"}
{"name":"biodivine-lib-bdd","vers":"0.5.8","deps":[{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"f3f69cec673a6a960c22388d3ea078d0c178a6461c45b6b191430bc77b9ff48b","features":{},"yanked":false,"pubtime":"2023-12-20T19:20:15Z"}
{"name":"biodivine-lib-bdd","vers":"0.5.9","deps":[{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"80c02670ae1bedf08405b93293448eac4641e4b5ddf48ba655f260953db4186d","features":{},"yanked":false,"pubtime":"2023-12-24T12:33:46Z"}
{"name":"biodivine-lib-bdd","vers":"0.5.10","deps":[{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"5f7273ce7a6e2990762f6b43ffe4dbb52e217be58e86d65fd11833b16fd2f62a","features":{},"yanked":false,"pubtime":"2024-01-23T17:12:46Z"}
{"name":"biodivine-lib-bdd","vers":"0.5.11","deps":[{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"f9f1f736520be3f9c9f46801c3828eea0ae7d722b22e0054ed541314536e9a23","features":{},"yanked":false,"pubtime":"2024-02-14T15:41:26Z"}
{"name":"biodivine-lib-bdd","vers":"0.5.12","deps":[{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"f73d8f83954bed2305d99890b4fc2b8f4dbe63cb84d3a662045b09ad53526143","features":{},"yanked":false,"pubtime":"2024-03-15T16:12:02Z"}
{"name":"biodivine-lib-bdd","vers":"0.5.13","deps":[{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"139bf3016e5cf47762c61f88ad4119e32979560612ee4a3ea77ac204f3db5769","features":{},"yanked":false,"pubtime":"2024-04-03T07:24:23Z"}
{"name":"biodivine-lib-bdd","vers":"0.5.14","deps":[{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a5bcee0d21c1ff1e8a479fe3d89832f405a5c05df0df27d37f97e461fe669f56","features":{},"yanked":false,"pubtime":"2024-05-09T19:01:30Z"}
{"name":"biodivine-lib-bdd","vers":"0.5.15","deps":[{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"9fedc29b2ee6d2271fdb3b3bcc1ae7fd1bc11a853e778031a1d85e450363e311","features":{},"yanked":false,"pubtime":"2024-05-10T09:34:02Z"}
{"name":"biodivine-lib-bdd","vers":"0.5.16","deps":[{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"689c425934f649a3b460d451cdd3563a093c7712775ee00f127ae705cbfb6244","features":{},"yanked":false,"pubtime":"2024-05-13T08:06:55Z"}
{"name":"biodivine-lib-bdd","vers":"0.5.17","deps":[{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a2d6507a5ddd25f54579234e9170aef2b8d57d6e3d62ff72444747ea20f81e5e","features":{"default":[]},"features2":{"serde":["dep:serde"]},"yanked":false,"pubtime":"2024-05-15T14:47:34Z","v":2}
{"name":"biodivine-lib-bdd","vers":"0.5.18","deps":[{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"7f2239b299f6a1cb8ae12afb56554dfa5ab2b844d1f0d2677e1b742261e1e20c","features":{"default":[]},"features2":{"serde":["dep:serde"]},"yanked":false,"pubtime":"2024-08-12T20:19:56Z","v":2}
{"name":"biodivine-lib-bdd","vers":"0.5.19","deps":[{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b898f282fba66222890fea4d58d7e34487da9dcd23e6feef7dfc60b0e2f1945f","features":{"default":[]},"features2":{"serde":["dep:serde"]},"yanked":false,"pubtime":"2024-08-13T09:15:15Z","v":2}
{"name":"biodivine-lib-bdd","vers":"0.5.20","deps":[{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"40e5a2073c0e7d5d5820fd4b7964a5347682b2e98b8970c9fdde55223d7cb966","features":{"default":[]},"features2":{"serde":["dep:serde"]},"yanked":false,"pubtime":"2024-09-18T09:30:03Z","v":2}
{"name":"biodivine-lib-bdd","vers":"0.5.21","deps":[{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c8d6c40f1352ced179d2411ffcbc357289c901d940120ced647061397beae21e","features":{"default":[]},"features2":{"serde":["dep:serde"]},"yanked":false,"pubtime":"2024-09-18T10:03:50Z","v":2}
{"name":"biodivine-lib-bdd","vers":"0.5.22","deps":[{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"1e46bef4a73ba1792ef3123fb88df667dc2b8e3316771901961205ea306c4f9b","features":{"default":[]},"features2":{"serde":["dep:serde"]},"yanked":false,"pubtime":"2024-09-24T10:52:18Z","v":2}
{"name":"biodivine-lib-bdd","vers":"0.5.23","deps":[{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"aa0271e1c31eb2d0dc427de2b6a51899a005d71a63844b2b83704e3f5fd74519","features":{"default":[]},"features2":{"serde":["dep:serde"]},"yanked":false,"pubtime":"2024-12-23T09:42:53Z","v":2}
{"name":"biodivine-lib-bdd","vers":"0.5.24","deps":[{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b829177ea2af78619d1502ab6d48fa2bd673250bf42813fac364a75e042c885d","features":{"default":[]},"features2":{"serde":["dep:serde"]},"yanked":false,"pubtime":"2025-04-11T07:50:27Z","v":2}
{"name":"biodivine-lib-bdd","vers":"0.5.25","deps":[{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2cd9bf79cf520d973e8f7a631496b01488e52af86584587c284c6f64c571ef1f","features":{"default":[]},"features2":{"serde":["dep:serde"]},"yanked":false,"pubtime":"2025-06-18T07:50:40Z","v":2}
{"name":"biodivine-lib-bdd","vers":"0.5.26","deps":[{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"03b241009922af7accba0cd4a96b066829cea00cce2d968cf31e3a682ee48388","features":{"default":[]},"features2":{"serde":["dep:serde"]},"yanked":false,"pubtime":"2025-07-01T12:28:26Z","v":2}
{"name":"biodivine-lib-bdd","vers":"0.5.27","deps":[{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"3967fca0e74f47331ea26a7a9c294ba1c28b73955cbb12b97e18fdda63493658","features":{"default":[]},"features2":{"serde":["dep:serde"]},"yanked":false,"pubtime":"2025-09-02T12:16:14Z","v":2}
{"name":"biodivine-lib-bdd","vers":"0.6.0","deps":[{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.6","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":"rand","req":"^0.9.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"3054e859fa8beb430269e3067970833cf03c536cc2864ce43f3401648e44425b","features":{"default":[]},"features2":{"serde":["dep:serde"]},"yanked":false,"rust_version":"1.88.0","pubtime":"2025-09-08T17:54:33Z","v":2}
{"name":"biodivine-lib-bdd","vers":"0.6.1","deps":[{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.6","features":["rand"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-rational","req":"^0.4.2","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":"rand","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"9e44400d0eaea0d0b01a121925013c882f31aa2213b59603e51156862f27fb97","features":{"default":[]},"features2":{"serde":["dep:serde"]},"yanked":false,"rust_version":"1.88.0","pubtime":"2025-09-10T16:53:27Z","v":2}
{"name":"biodivine-lib-bdd","vers":"0.6.2","deps":[{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.6","features":["rand"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-rational","req":"^0.4.2","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":"rand","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"751b3710cafa3c53a07778746fee19eee163200a004cf04a6c193ab7963d39bc","features":{"default":[]},"features2":{"serde":["dep:serde"]},"yanked":false,"rust_version":"1.88.0","pubtime":"2025-09-25T17:16:28Z","v":2}
{"name":"biodivine-lib-bdd","vers":"0.6.3","deps":[{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.6","features":["rand"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-rational","req":"^0.4.2","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":"rand","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"353f2ea51bac487de00039cdce4d1f7c789de2e3ef99cd14ea460b3e8921f038","features":{"default":[]},"features2":{"serde":["dep:serde"]},"yanked":false,"rust_version":"1.88.0","pubtime":"2026-02-14T15:58:20Z","v":2}