{"name":"eqmap","vers":"0.9.0","deps":[{"name":"bitvec","req":"^1.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.53","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ctrlc","req":"^3.5.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"egg","req":"^0.11.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"good_lp","req":"^1.14.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"indicatif","req":"^0.18.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"nl-compiler","req":"^0.1.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"safety-net","req":"^0.3.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.145","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sv-parser","req":"^0.13.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"toml","req":"^0.9.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"3e5b7bbfebc4f4373cdf7dd1ee7601260ccd9b28f3186217e82bd83c24625f82","features":{"cut_analysis":[],"default":["dyn_decomp"],"dyn_decomp":["cut_analysis"],"egraph_fold":[],"exact_cbc":["egg/lp","good_lp/coin_cbc"],"exact_highs":["egg/lp","good_lp/highs"],"graph_dumps":[]},"yanked":false,"pubtime":"2026-01-29T08:17:10Z"}
{"name":"eqmap","vers":"0.9.1","deps":[{"name":"bitvec","req":"^1.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.53","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ctrlc","req":"^3.5.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"egg","req":"^0.11.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"good_lp","req":"^1.14.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"indicatif","req":"^0.18.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"nl-compiler","req":"^0.1.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"safety-net","req":"^0.5.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.145","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sv-parser","req":"^0.13.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"toml","req":"^0.9.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"14781b64ef97e7874b1a4f86e660849514f929c198167a917a15bfdd78c27ea6","features":{"cut_analysis":[],"default":["dyn_decomp"],"dyn_decomp":["cut_analysis"],"egraph_fold":[],"exact_cbc":["egg/lp","good_lp/coin_cbc"],"exact_highs":["egg/lp","good_lp/highs"],"graph_dumps":[]},"yanked":false,"pubtime":"2026-02-18T18:45:05Z"}
{"name":"eqmap","vers":"0.9.2","deps":[{"name":"bitvec","req":"^1.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.53","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ctrlc","req":"^3.5.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"egg","req":"^0.11.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"good_lp","req":"^1.14.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"indicatif","req":"^0.18.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"nl-compiler","req":"^0.1.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"safety-net","req":"^0.5.3","features":["graph"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.145","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sv-parser","req":"^0.13.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"toml","req":"^0.9.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"18b25aa40c76f33e4a9dacbe9b0a1994e7cf4c9678ce5829b0df6a9e359bf5b0","features":{"cut_analysis":[],"default":["dyn_decomp"],"dyn_decomp":["cut_analysis"],"egraph_fold":[],"exact_cbc":["egg/lp","good_lp/coin_cbc"],"exact_highs":["egg/lp","good_lp/highs"],"graph_dumps":[]},"yanked":false,"pubtime":"2026-02-23T22:49:10Z"}
{"name":"eqmap","vers":"0.9.3","deps":[{"name":"bitvec","req":"^1.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.53","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ctrlc","req":"^3.5.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"egg","req":"^0.11.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"good_lp","req":"^1.14.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"indicatif","req":"^0.18.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"nl-compiler","req":"^0.1.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"safety-net","req":"^0.5.5","features":["graph"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.145","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sv-parser","req":"^0.13.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"toml","req":"^0.9.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8a44be56c94cb143a1c9e0ac90a631b6be1516d190c742c6d4a16899e5a7f50b","features":{"cut_analysis":[],"default":["dyn_decomp"],"dyn_decomp":["cut_analysis"],"egraph_fold":[],"exact_cbc":["egg/lp","good_lp/coin_cbc"],"exact_highs":["egg/lp","good_lp/highs"],"graph_dumps":[]},"yanked":false,"pubtime":"2026-03-12T05:06:13Z"}
{"name":"eqmap","vers":"0.9.4","deps":[{"name":"bitvec","req":"^1.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.53","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ctrlc","req":"^3.5.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"egg","req":"^0.11.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"good_lp","req":"^1.14.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"indicatif","req":"^0.18.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.29","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"nl-compiler","req":"^0.1.18","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.10.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"safety-net","req":"^0.6.3","features":["graph"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.145","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"simplelog","req":"^0.12.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sv-parser","req":"^0.13.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"toml","req":"^0.9.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2d08ae2400e3ea4b84dcb23b97e15e7cd0c77667b1ad9c039765aeffe10400d0","features":{"cut_analysis":[],"default":["dyn_decomp"],"dyn_decomp":["cut_analysis"],"egraph_fold":[],"exact_cbc":["egg/lp","good_lp/coin_cbc"],"exact_highs":["egg/lp","good_lp/highs"],"graph_dumps":[]},"yanked":false,"pubtime":"2026-04-21T23:18:30Z"}
{"name":"eqmap","vers":"0.9.6","deps":[{"name":"bitvec","req":"^1.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.53","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ctrlc","req":"^3.5.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"egg","req":"^0.11.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"good_lp","req":"^1.14.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"indicatif","req":"^0.18.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.29","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"nl-compiler","req":"^0.1.19","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.10.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"safety-net","req":"^0.7.0","features":["graph"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"safety-pass","req":"^0.4.1","features":["id"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.145","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"simplelog","req":"^0.12.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sv-parser","req":"^0.13.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"toml","req":"^0.9.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8370f830704b83be9927912d6c8d4d1efbc5772c75d3e07e94bd05ca3e7feacd","features":{"cut_analysis":[],"default":["dyn_decomp"],"dyn_decomp":["cut_analysis"],"egraph_fold":[],"exact_cbc":["egg/lp","good_lp/coin_cbc"],"exact_highs":["egg/lp","good_lp/highs"],"graph_dumps":[]},"yanked":false,"pubtime":"2026-05-24T18:19:48Z"}