flake depends on SAT-bench

shnarazk · Aug 16, 2024 · 8de8662 · 8de8662
1 parent 3524350
commit 8de8662
Show file tree

Hide file tree

Showing 2 changed files with 41 additions and 5 deletions.
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -1,7 +1,8 @@
 {
   description = "A modern SAT solver in Rust";
   inputs.nixpkgs.url = "github:NixOS/nixpkgs";
-  outputs = { self, nixpkgs }:
+  inputs.sat-bench.url = "github:shnarazk/SAT-bench";
+  outputs = { self, nixpkgs, sat-bench }:
   {
     packages = builtins.listToAttrs
       (map
@@ -43,6 +44,7 @@
                   tokei
                   # cargo-watch
                   # nixpkgs.lldb_18
+                  sat-bench.packages.${system}.default
                 ];
             };
           }