{"name":"egglog","summary":"A fixpoint reasoning system that unifies Datalog and equality saturation","description":"","homepage_url":"https://github.com/egraphs-good/egglog","license":"MIT","attribute_paths":["egglog"],"releases":[{"version":"2023-09-12","last_updated":"2024-01-27T14:55:31Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"egglog","commit_hash":"160b762eda6d139ac10ae081f8f78d640dd523eb","date":"2024-01-27T14:55:31Z","outputs":[{"name":"out","path":"/nix/store/0w1462n0lfn3573rfj1ya98r0drim5iw-egglog-unstable-2023-09-12","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"egglog","commit_hash":"160b762eda6d139ac10ae081f8f78d640dd523eb","date":"2024-01-27T14:55:31Z","outputs":[{"name":"out","path":"/nix/store/i80z9rk9flvsqi9fdmzzzaj2jgq54pi8-egglog-unstable-2023-09-12","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"egglog","commit_hash":"160b762eda6d139ac10ae081f8f78d640dd523eb","date":"2024-01-27T14:55:31Z","outputs":[{"name":"out","path":"/nix/store/qckwf6iwkzf0jwslldd0nklj0h96jwvr-egglog-unstable-2023-09-12","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"egglog","commit_hash":"160b762eda6d139ac10ae081f8f78d640dd523eb","date":"2024-01-27T14:55:31Z","outputs":[{"name":"out","path":"/nix/store/i90kyc9hx39ks43rq4ravz00x3hblpyg-egglog-unstable-2023-09-12","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2023-08-29","last_updated":"2023-09-06T20:35:33Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"egglog","commit_hash":"efd23a1c9ae8c574e2ca923c2b2dc336797f4cc4","date":"2023-09-06T20:35:33Z","outputs":[{"name":"out","path":"/nix/store/6dl64hv50lzjx8mfkr2l8bgak1jarmq7-egglog-unstable-2023-08-29","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"egglog","commit_hash":"efd23a1c9ae8c574e2ca923c2b2dc336797f4cc4","date":"2023-09-06T20:35:33Z","outputs":[{"name":"out","path":"/nix/store/l8rdihavrw8jwg4swq74v2xjghna8rqr-egglog-unstable-2023-08-29","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"egglog","commit_hash":"efd23a1c9ae8c574e2ca923c2b2dc336797f4cc4","date":"2023-09-06T20:35:33Z","outputs":[{"name":"out","path":"/nix/store/5q302dh4b12rbbpsv8p6bngvfiybhr27-egglog-unstable-2023-08-29","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"egglog","commit_hash":"efd23a1c9ae8c574e2ca923c2b2dc336797f4cc4","date":"2023-09-06T20:35:33Z","outputs":[{"name":"out","path":"/nix/store/jb5ympnqaa8vvg81l3azgmhix67vdjk1-egglog-unstable-2023-08-29","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2023-08-23","last_updated":"2023-08-30T00:25:28Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"egglog","commit_hash":"a63a64b593dcf2fe05f7c5d666eb395950f36bc9","date":"2023-08-30T00:25:28Z","outputs":[{"name":"out","path":"/nix/store/6vpw08ddwzs5nx9sqn4ljsfyifq981mm-egglog-unstable-2023-08-23","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"egglog","commit_hash":"a63a64b593dcf2fe05f7c5d666eb395950f36bc9","date":"2023-08-30T00:25:28Z","outputs":[{"name":"out","path":"/nix/store/202vlw05clxwiijklcd2h4dgdw59hcw6-egglog-unstable-2023-08-23","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"egglog","commit_hash":"a63a64b593dcf2fe05f7c5d666eb395950f36bc9","date":"2023-08-30T00:25:28Z","outputs":[{"name":"out","path":"/nix/store/2x3ajffn7s47ywh631wx4my22xdr7yqs-egglog-unstable-2023-08-23","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"egglog","commit_hash":"a63a64b593dcf2fe05f7c5d666eb395950f36bc9","date":"2023-08-30T00:25:28Z","outputs":[{"name":"out","path":"/nix/store/57pnr7204bwrfkmy0g2w03jhpdggr3c1-egglog-unstable-2023-08-23","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2023-08-19","last_updated":"2023-08-22T06:04:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"egglog","commit_hash":"9d757ec498666cc1dcc6f2be26db4fd3e1e9ab37","date":"2023-08-22T06:04:29Z","outputs":[{"name":"out","path":"/nix/store/70pgf174q9apilslfhv34q4p3gjdcmf1-egglog-unstable-2023-08-19","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"egglog","commit_hash":"9d757ec498666cc1dcc6f2be26db4fd3e1e9ab37","date":"2023-08-22T06:04:29Z","outputs":[{"name":"out","path":"/nix/store/177ya4zvqjmim4z6kpm0d19rm6yx8hrj-egglog-unstable-2023-08-19","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"egglog","commit_hash":"9d757ec498666cc1dcc6f2be26db4fd3e1e9ab37","date":"2023-08-22T06:04:29Z","outputs":[{"name":"out","path":"/nix/store/xy8dazrzvvaq6ga2sascmw6l1cmibqsk-egglog-unstable-2023-08-19","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"egglog","commit_hash":"9d757ec498666cc1dcc6f2be26db4fd3e1e9ab37","date":"2023-08-22T06:04:29Z","outputs":[{"name":"out","path":"/nix/store/3z174lh0gg2dp68j0dk09hq9lrqaz8aj-egglog-unstable-2023-08-19","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2023-08-09","last_updated":"2023-08-10T15:58:45Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"egglog","commit_hash":"4d2389b927696ef8da4ef76b03f2d306faf87929","date":"2023-08-10T15:58:45Z","outputs":[{"name":"out","path":"/nix/store/23zcilwnp4xqg41kc66fxqvj9hzjmpai-egglog-unstable-2023-08-09","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"egglog","commit_hash":"4d2389b927696ef8da4ef76b03f2d306faf87929","date":"2023-08-10T15:58:45Z","outputs":[{"name":"out","path":"/nix/store/jj0d68kjj6afsks058sjlxddm2n3xlk7-egglog-unstable-2023-08-09","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"egglog","commit_hash":"4d2389b927696ef8da4ef76b03f2d306faf87929","date":"2023-08-10T15:58:45Z","outputs":[{"name":"out","path":"/nix/store/vajdlypb5v9k1v46zvqij2c43xrf80ig-egglog-unstable-2023-08-09","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"egglog","commit_hash":"4d2389b927696ef8da4ef76b03f2d306faf87929","date":"2023-08-10T15:58:45Z","outputs":[{"name":"out","path":"/nix/store/9fcz8grdb1f60rbmrkh5v08n106ly1rm-egglog-unstable-2023-08-09","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2023-07-19","last_updated":"2023-08-08T11:45:39Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"egglog","commit_hash":"4e6868b1aa3766ab1de169922bb3826143941973","date":"2023-08-08T11:45:39Z","outputs":[{"name":"out","path":"/nix/store/mfbyp60a8xl1ixmr4q4q9rnjp53zivr0-egglog-unstable-2023-07-19","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"egglog","commit_hash":"4e6868b1aa3766ab1de169922bb3826143941973","date":"2023-08-08T11:45:39Z","outputs":[{"name":"out","path":"/nix/store/21yr45lpxy03nx3w1q8iydnmn5pmf96m-egglog-unstable-2023-07-19","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"egglog","commit_hash":"4e6868b1aa3766ab1de169922bb3826143941973","date":"2023-08-08T11:45:39Z","outputs":[{"name":"out","path":"/nix/store/h94kgsq3d7jb664c5fsqhi3rmb292wcn-egglog-unstable-2023-07-19","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"egglog","commit_hash":"4e6868b1aa3766ab1de169922bb3826143941973","date":"2023-08-08T11:45:39Z","outputs":[{"name":"out","path":"/nix/store/vxvafarz0kn3dr6ykfkmsiqlwy4wbj9g-egglog-unstable-2023-07-19","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2023-07-11","last_updated":"2023-07-24T21:56:31Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"egglog","commit_hash":"dfcffbd74fd6f0419370d8240e445252a39f4d10","date":"2023-07-24T21:56:31Z","outputs":[{"name":"out","path":"/nix/store/5pjffa3jla5s5j7m4zw2a5p1xx21npml-egglog-unstable-2023-07-11","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"egglog","commit_hash":"dfcffbd74fd6f0419370d8240e445252a39f4d10","date":"2023-07-24T21:56:31Z","outputs":[{"name":"out","path":"/nix/store/d6gz43g1q84f1676saky76q2rna8a32y-egglog-unstable-2023-07-11","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"egglog","commit_hash":"dfcffbd74fd6f0419370d8240e445252a39f4d10","date":"2023-07-24T21:56:31Z","outputs":[{"name":"out","path":"/nix/store/26yznfqlg7a541pz6iw00x72s5vprwja-egglog-unstable-2023-07-11","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"egglog","commit_hash":"dfcffbd74fd6f0419370d8240e445252a39f4d10","date":"2023-07-24T21:56:31Z","outputs":[{"name":"out","path":"/nix/store/xrs988nw54wjwysrp94myinqkjbqk2xd-egglog-unstable-2023-07-11","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2023-06-26","last_updated":"2023-07-05T19:25:23Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"egglog","commit_hash":"23de9f3b56e72632c628d92b71c47032e14a3d4d","date":"2023-07-05T19:25:23Z","outputs":[{"name":"out","path":"/nix/store/sn90b8bapwyxh0kvghn5h2l55qgw77g6-egglog-unstable-2023-06-26","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"egglog","commit_hash":"23de9f3b56e72632c628d92b71c47032e14a3d4d","date":"2023-07-05T19:25:23Z","outputs":[{"name":"out","path":"/nix/store/jx0hl986p8bh1yjsblkcpj15glx5zmiz-egglog-unstable-2023-06-26","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"egglog","commit_hash":"23de9f3b56e72632c628d92b71c47032e14a3d4d","date":"2023-07-05T19:25:23Z","outputs":[{"name":"out","path":"/nix/store/v47xz5wifzrpxpx5nbxkj2dk468wlsvb-egglog-unstable-2023-06-26","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"egglog","commit_hash":"23de9f3b56e72632c628d92b71c47032e14a3d4d","date":"2023-07-05T19:25:23Z","outputs":[{"name":"out","path":"/nix/store/3h6lmc0bnbw2rl08xvr62pvqy67m1fy7-egglog-unstable-2023-06-26","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2023-06-11","last_updated":"2023-06-27T08:49:46Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"egglog","commit_hash":"b38e95ea6c15b9ce098556f410d715b262fa386a","date":"2023-06-27T08:49:46Z","outputs":[{"name":"out","path":"/nix/store/fknvdlzd4z0lh9qfvsf1f1m0g4wr6krl-egglog-unstable-2023-06-11","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"egglog","commit_hash":"b38e95ea6c15b9ce098556f410d715b262fa386a","date":"2023-06-27T08:49:46Z","outputs":[{"name":"out","path":"/nix/store/3lf8p550ryyzxvjabjgjznqv5bh7yhf5-egglog-unstable-2023-06-11","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"egglog","commit_hash":"b38e95ea6c15b9ce098556f410d715b262fa386a","date":"2023-06-27T08:49:46Z","outputs":[{"name":"out","path":"/nix/store/hc3167sg55zgzdnixp44rm2pi1vv8ym0-egglog-unstable-2023-06-11","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"egglog","commit_hash":"b38e95ea6c15b9ce098556f410d715b262fa386a","date":"2023-06-27T08:49:46Z","outputs":[{"name":"out","path":"/nix/store/30vvib88nr5rlbryhq6cbzzrh3x8h360-egglog-unstable-2023-06-11","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2023-05-22","last_updated":"2023-06-05T20:59:02Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"egglog","commit_hash":"932fc16b263f26803d3960e4400bc13dde84a972","date":"2023-06-05T20:59:02Z","outputs":[{"name":"out","path":"/nix/store/dqmc6qqwnjaszk3j3nvxd1fbz48r07xj-egglog-unstable-2023-05-22","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"egglog","commit_hash":"932fc16b263f26803d3960e4400bc13dde84a972","date":"2023-06-05T20:59:02Z","outputs":[{"name":"out","path":"/nix/store/k53maf5m9gh48agcr5iw46zkyz4sax7h-egglog-unstable-2023-05-22","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"egglog","commit_hash":"932fc16b263f26803d3960e4400bc13dde84a972","date":"2023-06-05T20:59:02Z","outputs":[{"name":"out","path":"/nix/store/fphfj4c9j1pbdk68mrj2qj31435jfx64-egglog-unstable-2023-05-22","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"egglog","commit_hash":"932fc16b263f26803d3960e4400bc13dde84a972","date":"2023-06-05T20:59:02Z","outputs":[{"name":"out","path":"/nix/store/a3lhgcyqbx9glacwb8bnrv2iii4ylj9v-egglog-unstable-2023-05-22","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.4.0","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"egglog","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/d0fi5sdv2w04dsawslx5r5fj7n3skzs3-egglog-0.4.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"egglog","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/qq8c7sdabgmv8bqhlnnsany5acpnjrf2-egglog-0.4.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"egglog","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/svh87hwzc8rvlm7r29b5zfwgyai0xlgn-egglog-0.4.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"egglog","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/g20l7ajxi9rxaiidz6bk5j4jps8pkh9c-egglog-0.4.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0-unstable-2024-01-26","last_updated":"2025-02-07T11:26:36Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"egglog","commit_hash":"d98abf5cf5914e5e4e9d57205e3af55ca90ffc1d","date":"2025-02-07T11:26:36Z","outputs":[{"name":"out","path":"/nix/store/449wc1jf5bn5nlp2x0m4ndsh449l9hc7-egglog-0-unstable-2024-01-26","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"egglog","commit_hash":"d98abf5cf5914e5e4e9d57205e3af55ca90ffc1d","date":"2025-02-07T11:26:36Z","outputs":[{"name":"out","path":"/nix/store/igj5vghlvg97y55sy3yzar5bch2mvrn0-egglog-0-unstable-2024-01-26","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"egglog","commit_hash":"d98abf5cf5914e5e4e9d57205e3af55ca90ffc1d","date":"2025-02-07T11:26:36Z","outputs":[{"name":"out","path":"/nix/store/m08xzl6vlx760nljdfna8906xs4cqic2-egglog-0-unstable-2024-01-26","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"egglog","commit_hash":"d98abf5cf5914e5e4e9d57205e3af55ca90ffc1d","date":"2025-02-07T11:26:36Z","outputs":[{"name":"out","path":"/nix/store/ai3ifgmi07kn72zk1kvhbf4gq0lhccr9-egglog-0-unstable-2024-01-26","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}