{"name":"biodivine-lib-param-bn","vers":"0.1.0","deps":[{"name":"biodivine-lib-bdd","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^0.6.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"ad744f7e529d9ca822f836b131a74cb1aa4467df17c0bb94885c1b860647097d","features":{"default":["shields_up"],"shields_up":[]},"yanked":false,"pubtime":"2021-02-16T11:45:33Z"}
{"name":"biodivine-lib-param-bn","vers":"0.2.0","deps":[{"name":"biodivine-lib-bdd","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^0.6.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"16ed8e6400736e1b1c8b63e0ed56ac10b0669fb82ff024b955daf4c38e3703cf","features":{"default":["shields_up"],"shields_up":[]},"yanked":false,"pubtime":"2021-12-22T14:55:40Z"}
{"name":"biodivine-lib-param-bn","vers":"0.2.1","deps":[{"name":"biodivine-lib-bdd","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^0.6.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"f7ebf8d47b381df522aef4e48ba29363893fc0247d8af6e7864a603b46ababdf","features":{"default":["shields_up"],"shields_up":[]},"yanked":false,"pubtime":"2022-02-06T19:03:22Z"}
{"name":"biodivine-lib-param-bn","vers":"0.2.2","deps":[{"name":"biodivine-lib-bdd","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^0.6.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"fed7b510ce7c359cb9047bc423f635033f41f972548ef8d8a54b0fa283de4ccc","features":{"default":["shields_up"],"shields_up":[]},"yanked":false,"pubtime":"2022-02-10T12:03:13Z"}
{"name":"biodivine-lib-param-bn","vers":"0.2.3","deps":[{"name":"biodivine-lib-bdd","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^0.6.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"03f7bb48b5233a019954affba85172cdd0e68901992e9107803f0063d9a526de","features":{"default":["shields_up"],"shields_up":[]},"yanked":false,"pubtime":"2022-02-10T12:45:58Z"}
{"name":"biodivine-lib-param-bn","vers":"0.2.4","deps":[{"name":"biodivine-lib-bdd","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^0.6.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c81b2c8e39f109a60b98c521a333c196d1b1b68e654ac8760d62df42095fae35","features":{"default":["shields_up"],"shields_up":[]},"yanked":false,"pubtime":"2022-02-16T10:49:15Z"}
{"name":"biodivine-lib-param-bn","vers":"0.3.0","deps":[{"name":"biodivine-lib-bdd","req":"^0.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","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":"num-traits","req":"^0.2.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^0.6.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"699cd9c3482e301c2ebcedbbbfbbf448a519a19cfeeb00055b7730338bb45ea1","features":{},"yanked":false,"pubtime":"2022-05-04T15:54:28Z"}
{"name":"biodivine-lib-param-bn","vers":"0.4.0","deps":[{"name":"biodivine-lib-bdd","req":">=0.4.2, <1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","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":"num-traits","req":"^0.2.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.16.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.11.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"949ad640d82bc80f5c441a30d6af9b7c2a859d11474664c67789e737e265b2fb","features":{"print-progress":[]},"yanked":true,"pubtime":"2022-12-06T13:03:27Z"}
{"name":"biodivine-lib-param-bn","vers":"0.4.1","deps":[{"name":"biodivine-lib-bdd","req":">=0.4.2, <1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","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":"num-traits","req":"^0.2.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.15.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.11.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"405c5771253b5fb96af3c8dfa044861b633164a2079e0a6df0f30e42c27a420e","features":{"print-progress":[]},"yanked":false,"pubtime":"2022-12-06T13:35:32Z"}
{"name":"biodivine-lib-param-bn","vers":"0.4.2","deps":[{"name":"biodivine-lib-bdd","req":">=0.4.2, <1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","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":"num-traits","req":"^0.2.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.15.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.11.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"cb09ed93c1f19a0abda82fbee52240ed35cd41a3c689932065cd34090070906a","features":{"print-progress":[]},"yanked":false,"pubtime":"2022-12-19T09:19:39Z"}
{"name":"biodivine-lib-param-bn","vers":"0.4.3","deps":[{"name":"biodivine-lib-bdd","req":">=0.4.2, <1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","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":"num-traits","req":"^0.2.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.15.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.11.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"ca4e588158a7217ad9485464f03ee69830fad67def2dae72adc4c0788b07025f","features":{"print-progress":[]},"features2":{"solver-z3":["dep:z3"]},"yanked":false,"rust_version":"1.60","pubtime":"2023-02-06T09:27:07Z","v":2}
{"name":"biodivine-lib-param-bn","vers":"0.4.4","deps":[{"name":"biodivine-lib-bdd","req":">=0.4.2, <1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","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":"num-traits","req":"^0.2.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.15.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.11.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"11e326780243c2a5bd587a4bbfdeb0bf9887ca245bdb7967451939b8a61a8ab0","features":{"print-progress":[]},"features2":{"solver-z3":["dep:z3"]},"yanked":false,"rust_version":"1.60","pubtime":"2023-02-27T16:15:09Z","v":2}
{"name":"biodivine-lib-param-bn","vers":"0.4.5","deps":[{"name":"biodivine-lib-bdd","req":">=0.5.1, <1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","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":"num-traits","req":"^0.2.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.15.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.11.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"514a1f8c99f6da9b5fc27f7cae2d675e9e5f8ca0f9b139047528fc6ae432d4ca","features":{"print-progress":[]},"features2":{"solver-z3":["dep:z3"]},"yanked":false,"rust_version":"1.60","pubtime":"2023-06-05T15:16:23Z","v":2}
{"name":"biodivine-lib-param-bn","vers":"0.4.6","deps":[{"name":"biodivine-lib-bdd","req":">=0.5.1, <1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","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":"num-traits","req":"^0.2.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.15.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.12","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"34b8de015fe39ebd06c8435536a5ec47eec5d75923c4c94c28ba588ca2062805","features":{"print-progress":[]},"features2":{"solver-z3":["dep:z3"]},"yanked":false,"rust_version":"1.60","pubtime":"2023-10-17T20:15:54Z","v":2}
{"name":"biodivine-lib-param-bn","vers":"0.4.7","deps":[{"name":"biodivine-lib-bdd","req":">=0.5.2, <1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","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":"num-traits","req":"^0.2.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.10.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.18.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.12.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"1d0a5320e80f7db92cc96e252128f1d8dd9a26211ddc7c7566f61372521953f2","features":{"print-progress":[]},"features2":{"solver-z3":["dep:z3"]},"yanked":false,"rust_version":"1.60","pubtime":"2023-10-18T13:34:05Z","v":2}
{"name":"biodivine-lib-param-bn","vers":"0.5.0","deps":[{"name":"biodivine-lib-bdd","req":">=0.5.6, <1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","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":"num-traits","req":"^0.2.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.10.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.12.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"55c1c537117fc841fd9b3ea40fafcb27eb3af0a87d15f08b9d642699866b52fe","features":{"print-progress":[]},"features2":{"solver-z3":["dep:z3"]},"yanked":false,"rust_version":"1.60","pubtime":"2023-12-18T14:25:02Z","v":2}
{"name":"biodivine-lib-param-bn","vers":"0.5.1","deps":[{"name":"biodivine-lib-bdd","req":">=0.5.6, <1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","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":"num-traits","req":"^0.2.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.10.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.12.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"6ce47fc024d3df0ee52a890dfa2f187400fd1f8c7a489da902049594a56d6b6d","features":{"print-progress":[]},"features2":{"solver-z3":["dep:z3"]},"yanked":false,"rust_version":"1.60","pubtime":"2023-12-19T15:29:38Z","v":2}
{"name":"biodivine-lib-param-bn","vers":"0.5.2","deps":[{"name":"biodivine-lib-bdd","req":">=0.5.6, <1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","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":"num-traits","req":"^0.2.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.10.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.12.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"6c5bed736b58f82e8950dc7e0872f7f477e6fa36294fc8a12b2ce97249d197bb","features":{"print-progress":[]},"features2":{"solver-z3":["dep:z3"]},"yanked":false,"rust_version":"1.60","pubtime":"2023-12-20T09:27:18Z","v":2}
{"name":"biodivine-lib-param-bn","vers":"0.5.3","deps":[{"name":"biodivine-lib-bdd","req":">=0.5.6, <1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","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":"num-traits","req":"^0.2.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.10.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.12.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"f2ffb355550dffe2294630313136372cd3056bb927ea574bc8d4a6cd7f5fb4eb","features":{"print-progress":[]},"features2":{"solver-z3":["dep:z3"]},"yanked":false,"rust_version":"1.60","pubtime":"2024-01-09T17:51:05Z","v":2}
{"name":"biodivine-lib-param-bn","vers":"0.5.4","deps":[{"name":"biodivine-lib-bdd","req":">=0.5.6, <1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","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":"num-traits","req":"^0.2.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.10.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.12.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"69a9c017e752868208a06e2492820026342448ed486ba5b514f7013ef97ad5f1","features":{"print-progress":[]},"features2":{"solver-z3":["dep:z3"]},"yanked":false,"rust_version":"1.60","pubtime":"2024-01-17T14:07:27Z","v":2}
{"name":"biodivine-lib-param-bn","vers":"0.5.5","deps":[{"name":"biodivine-lib-bdd","req":">=0.5.6, <1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","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":"num-traits","req":"^0.2.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.10.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.12.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"efbbe0d79b2d200329e8f24a0be4d14205367c8642e31b0a573668dabf6f035a","features":{"print-progress":[]},"features2":{"solver-z3":["dep:z3"]},"yanked":false,"rust_version":"1.60","pubtime":"2024-01-26T10:03:23Z","v":2}
{"name":"biodivine-lib-param-bn","vers":"0.5.6","deps":[{"name":"biodivine-lib-bdd","req":">=0.5.6, <1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","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":"num-traits","req":"^0.2.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.10.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.12.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"e1a59d2d36bfdb6a17f6c238f83933323060280a539cfd7c81f5b40689ebba82","features":{"print-progress":[]},"features2":{"solver-z3":["dep:z3"]},"yanked":false,"rust_version":"1.60","pubtime":"2024-02-07T17:15:49Z","v":2}
{"name":"biodivine-lib-param-bn","vers":"0.5.7","deps":[{"name":"biodivine-lib-bdd","req":">=0.5.6, <1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","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":"num-traits","req":"^0.2.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.10.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.12.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"57f3a2349c0740234cd7de1a6f01f7fcb5e7aded3ab41746109d57640f3718b8","features":{"print-progress":[]},"features2":{"solver-z3":["dep:z3"]},"yanked":false,"rust_version":"1.60","pubtime":"2024-02-08T13:09:49Z","v":2}
{"name":"biodivine-lib-param-bn","vers":"0.5.8","deps":[{"name":"biodivine-lib-bdd","req":">=0.5.11, <1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","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":"num-traits","req":"^0.2.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.10.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.12.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"86d09c7d062dbeca81e36b914b887d02c09dce2aed3921313f0444c142fa4d77","features":{"print-progress":[]},"features2":{"solver-z3":["dep:z3"]},"yanked":false,"rust_version":"1.60","pubtime":"2024-02-15T10:48:36Z","v":2}
{"name":"biodivine-lib-param-bn","vers":"0.5.9","deps":[{"name":"biodivine-lib-bdd","req":">=0.5.11, <1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","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":"num-traits","req":"^0.2.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.10.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.12.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"064e6c64051da1d9f8e83145cb7e5e071e4142c57892c413394aae2efb9c959e","features":{"print-progress":[]},"features2":{"solver-z3":["dep:z3"]},"yanked":false,"rust_version":"1.60","pubtime":"2024-02-15T17:51:57Z","v":2}
{"name":"biodivine-lib-param-bn","vers":"0.5.10","deps":[{"name":"biodivine-lib-bdd","req":">=0.5.13, <1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","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":"num-traits","req":"^0.2.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.10.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.12.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"ec6cb2f06622d14554c02960974b69d6f0ac13329fc3fc073b0631c0293824a7","features":{"print-progress":[]},"features2":{"solver-z3":["dep:z3"]},"yanked":false,"rust_version":"1.60","pubtime":"2024-04-08T11:59:21Z","v":2}
{"name":"biodivine-lib-param-bn","vers":"0.5.11","deps":[{"name":"biodivine-lib-bdd","req":">=0.5.13, <1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","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":"num-traits","req":"^0.2.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.10.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.12.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"f49f2767823783f454fde6821ae005636b2bcd521d1a98df82d095cadd295a60","features":{"print-progress":[]},"features2":{"solver-z3":["dep:z3"]},"yanked":false,"rust_version":"1.60","pubtime":"2024-07-19T10:15:57Z","v":2}
{"name":"biodivine-lib-param-bn","vers":"0.5.12","deps":[{"name":"biodivine-lib-bdd","req":">=0.5.13, <1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","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":"num-traits","req":"^0.2.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.10.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.12.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"58b9378e2dc09765bb33d12887062afb936ed17138b737570ed39534bf8565da","features":{"print-progress":[]},"features2":{"solver-z3":["dep:z3"]},"yanked":false,"rust_version":"1.60","pubtime":"2024-10-25T12:49:18Z","v":2}
{"name":"biodivine-lib-param-bn","vers":"0.5.13","deps":[{"name":"biodivine-lib-bdd","req":">=0.5.13, <1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","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":"num-traits","req":"^0.2.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.10.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.12.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"e37bcd01319dffe78e4ef7721ac63a549d84bda01b23c27c4961eba4c9cb1f2c","features":{"print-progress":[]},"features2":{"solver-z3":["dep:z3"]},"yanked":false,"rust_version":"1.60","pubtime":"2024-10-26T08:43:00Z","v":2}
{"name":"biodivine-lib-param-bn","vers":"0.5.14","deps":[{"name":"biodivine-lib-bdd","req":">=0.5.13, <1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","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":"num-traits","req":"^0.2.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.10.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.12.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"5046324507311f323db8a02a0d7e90421a8371f9e828d38518626937b65a4ece","features":{"print-progress":[]},"features2":{"solver-z3":["dep:z3"]},"yanked":false,"rust_version":"1.60","pubtime":"2025-04-11T08:21:59Z","v":2}
{"name":"biodivine-lib-param-bn","vers":"0.6.0","deps":[{"name":"biodivine-lib-bdd","req":">=0.6.1, <1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.20.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.18.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"196b2229b7c615c851062094d4fd3792c4ee57dad3e99c4a7337a6d3946c553e","features":{"print-progress":[]},"features2":{"solver-z3":["dep:z3"]},"yanked":false,"rust_version":"1.88","pubtime":"2025-09-13T18:07:38Z","v":2}
{"name":"biodivine-lib-param-bn","vers":"0.6.1","deps":[{"name":"biodivine-lib-bdd","req":">=0.6.1, <1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.20.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.18.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"41d174e8d3fe3196d43f01b0278864b5566c1b43dfbda24068f557fff65d0862","features":{"print-progress":[]},"features2":{"solver-z3":["dep:z3"]},"yanked":false,"rust_version":"1.88","pubtime":"2025-09-14T19:49:31Z","v":2}
{"name":"biodivine-lib-param-bn","vers":"0.6.2","deps":[{"name":"biodivine-lib-bdd","req":">=0.6.1, <1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.20.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.18.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"71ed78855073080e1ec64ad114ace488f7a3888cbf14dbec64815e798402231b","features":{"print-progress":[]},"features2":{"solver-z3":["dep:z3"]},"yanked":false,"rust_version":"1.88","pubtime":"2025-09-25T15:34:41Z","v":2}
{"name":"biodivine-lib-param-bn","vers":"0.6.3","deps":[{"name":"biodivine-lib-bdd","req":">=0.6.1, <1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.20.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.18.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"aa0dcc617130a10971a3a1e272319fdaa4af6a51ae764dfac610df125c6e4b18","features":{"print-progress":[]},"features2":{"solver-z3":["dep:z3"]},"yanked":false,"rust_version":"1.88","pubtime":"2025-11-22T12:12:11Z","v":2}
{"name":"biodivine-lib-param-bn","vers":"0.7.0","deps":[{"name":"biodivine-lib-bdd","req":">=0.6.1, <1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cancel-this","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.20.0","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"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3","req":"^0.18.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"ac140137b4196ce5b462b1d98e428f8e3c356d616e84ccf8113a0b3edccd1d88","features":{"print-progress":[]},"features2":{"serde":["dep:serde","biodivine-lib-bdd/serde"],"solver-z3":["dep:z3"]},"yanked":false,"rust_version":"1.88","pubtime":"2025-12-30T11:13:27Z","v":2}
{"name":"biodivine-lib-param-bn","vers":"0.7.1","deps":[{"name":"biodivine-lib-bdd","req":">=0.6.1, <1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cancel-this","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.20.0","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"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3","req":"^0.18.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"67c39bddc2f386c2da23604fdce799f1f0bf51ff590f058ad657a80a3ad1cbba","features":{"print-progress":[]},"features2":{"serde":["dep:serde","biodivine-lib-bdd/serde"],"solver-z3":["dep:z3"]},"yanked":false,"rust_version":"1.88","pubtime":"2026-01-08T13:34:05Z","v":2}
{"name":"biodivine-lib-param-bn","vers":"0.7.2","deps":[{"name":"biodivine-lib-bdd","req":">=0.6.2, <1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cancel-this","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"fxhash","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.21","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"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3","req":"^0.19.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"3d80611eae970392595e2d4484c9b68bb4a5e5841f1510a1220e8984a0a1ba6a","features":{"print-progress":[]},"features2":{"serde":["dep:serde","biodivine-lib-bdd/serde"],"solver-z3":["dep:z3"]},"yanked":false,"rust_version":"1.88","pubtime":"2026-01-08T16:20:04Z","v":2}