nixsearch
nixsearch / pkg / egglog / 0-unstable-2024-01-26

egglog 0-unstable-2024-01-26

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

Pin this version

$ devbox add egglog@0-unstable-2024-01-26
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commitd98abf5cf5914e5e4e9d57205e3af55ca90ffc1d 
$ nix shell github:NixOS/nixpkgs/d98abf5cf5914e5e4e9d57205e3af55ca90ffc1d#egglog

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 egglog d98abf5cf591
out
/nix/store/449wc1jf5bn5nlp2x0m4ndsh449l9hc7-egglog-0-unstable-2024-01-26
aarch64-linux
Linux · arm64		 egglog d98abf5cf591
out
/nix/store/igj5vghlvg97y55sy3yzar5bch2mvrn0-egglog-0-unstable-2024-01-26
x86_64-darwin
macOS · x86-64		 egglog d98abf5cf591
out
/nix/store/m08xzl6vlx760nljdfna8906xs4cqic2-egglog-0-unstable-2024-01-26
x86_64-linux
Linux · x86-64		 egglog d98abf5cf591
out
/nix/store/ai3ifgmi07kn72zk1kvhbf4gq0lhccr9-egglog-0-unstable-2024-01-26
← newer: 0.4.0 all 12 releases

JSON: /v2/pkg?name=egglog · /v2/resolve?name=egglog&version=0-unstable-2024-01-26