nixsearch
nixsearch / pkg / egglog / 2023-09-12

egglog 2023-09-12

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

Pin this version

$ devbox add egglog@2023-09-12
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit160b762eda6d139ac10ae081f8f78d640dd523eb 
$ nix shell github:NixOS/nixpkgs/160b762eda6d139ac10ae081f8f78d640dd523eb#egglog

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 egglog 160b762eda6d
out
/nix/store/0w1462n0lfn3573rfj1ya98r0drim5iw-egglog-unstable-2023-09-12
aarch64-linux
Linux · arm64		 egglog 160b762eda6d
out
/nix/store/i80z9rk9flvsqi9fdmzzzaj2jgq54pi8-egglog-unstable-2023-09-12
x86_64-darwin
macOS · x86-64		 egglog 160b762eda6d
out
/nix/store/qckwf6iwkzf0jwslldd0nklj0h96jwvr-egglog-unstable-2023-09-12
x86_64-linux
Linux · x86-64		 egglog 160b762eda6d
out
/nix/store/i90kyc9hx39ks43rq4ravz00x3hblpyg-egglog-unstable-2023-09-12
all 12 releases older: 2023-08-29 →

JSON: /v2/pkg?name=egglog · /v2/resolve?name=egglog&version=2023-09-12