ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-11-20 00:53:12 +03:00
Code Issues Projects Releases Wiki Activity

egglog: init at unstable-2023-05-22

Browse Source 
https://github.com/egraphs-good/egglog
This commit is contained in:
figsoda 2023-06-03 14:11:39 -04:00
parent f47f0a525c
commit 1f3b4712f5
3 changed files with 1060 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1026
pkgs/applications/science/logic/egglog/Cargo.lock generated Normal file
View File

File diff suppressed because it is too large Load Diff

32
pkgs/applications/science/logic/egglog/default.nix Normal file
View File

@ -0,0 +1,32 @@
{ lib
, rustPlatform
, fetchFromGitHub
}:
rustPlatform.buildRustPackage {
pname = "egglog";
version = "unstable-2023-05-22";
src = fetchFromGitHub {
owner = "egraphs-good";
repo = "egglog";
rev = "5242b50051c339d55009860d4dff80125fdcedfd";
hash = "sha256-N04CfITLEr4D4s6bUi0eRQdAVy6Ztq3Ml0365of7i0U=";
};
cargoLock = {
lockFile = ./Cargo.lock;
outputHashes = {
"symbol_table-0.2.0" = "sha256-f9UclMOUig+N5L3ibBXou0pJ4S/CQqtaji7tnebVbis=";
"symbolic_expressions-5.0.3" = "sha256-mSxnhveAItlTktQC4hM8o6TYjgtCUgkdZj7i6MR4Oeo=";
};
};
meta = with lib; {
description = "A fixpoint reasoning system that unifies Datalog and equality saturation";
homepage = "https://github.com/egraphs-good/egglog";
license = licenses.mit;
maintainers = with maintainers; [ figsoda ];
mainProgram = "egg-smol";
};
}

2
pkgs/top-level/all-packages.nix
View File

@ -4767,6 +4767,8 @@ with pkgs;
eggdrop = callPackage ../tools/networking/eggdrop { };
egglog = callPackage ../applications/science/logic/egglog { };
ekam = callPackage ../development/tools/build-managers/ekam { };
eksctl = callPackage ../tools/admin/eksctl { };