nixsearch
nixsearch / pkg / egglog / 2023-05-22

egglog 2023-05-22

A fixpoint reasoning system that unifies Datalog and equality saturation
Linux and macOS last changed

Pin this version

$ devbox add egglog@2023-05-22
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit932fc16b263f26803d3960e4400bc13dde84a972 
$ nix shell github:NixOS/nixpkgs/932fc16b263f26803d3960e4400bc13dde84a972#egglog

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 egglog 932fc16b263f
out
/nix/store/dqmc6qqwnjaszk3j3nvxd1fbz48r07xj-egglog-unstable-2023-05-22
aarch64-linux
Linux · arm64		 egglog 932fc16b263f
out
/nix/store/k53maf5m9gh48agcr5iw46zkyz4sax7h-egglog-unstable-2023-05-22
x86_64-darwin
macOS · x86-64		 egglog 932fc16b263f
out
/nix/store/fphfj4c9j1pbdk68mrj2qj31435jfx64-egglog-unstable-2023-05-22
x86_64-linux
Linux · x86-64		 egglog 932fc16b263f
out
/nix/store/a3lhgcyqbx9glacwb8bnrv2iii4ylj9v-egglog-unstable-2023-05-22
← newer: 2023-06-11 all 12 releases older: 0.4.0 →

JSON: /v2/pkg?name=egglog · /v2/resolve?name=egglog&version=2023-05-22