Solve day 13

Author: fwcd

day13/derivation.nix

@@ -0,0 +1,14 @@
+{ stdenv, python3 }:
+  stdenv.mkDerivation {
+    name = "advent-of-code-2024-day13";
+    src = ./src;
+
+    buildInputs = [
+      (python3.withPackages (ps: [ ps.numpy ]))
+    ];
+
+    installPhase = ''
+      mkdir -p $out/bin
+      cp day13.py $out/bin/day13
+    '';
+  }

day13/flake.lock

@@ -0,0 +1,28 @@
+{
+  description = "Advent of Code 2024 - Day 13 solution";
+
+  inputs = {
+    nixpkgs.url = "github:NixOS/nixpkgs/nixpkgs-unstable";
+  };
+
+  outputs = { self, nixpkgs }:
+    let
+      supportedSystems = [ "x86_64-linux" "x86_64-darwin" "aarch64-linux" "aarch64-darwin" ];
+      forAllSystems = nixpkgs.lib.genAttrs supportedSystems;
+    in {
+      packages = forAllSystems (system:
+        let
+          pkgs = import nixpkgs { inherit system; };
+        in {
+          default = pkgs.callPackage ./derivation.nix {};
+        }
+      );
+
+      apps = forAllSystems (system: {
+        default = {
+          type = "app";
+          program = "${self.packages.${system}.default}/bin/day13";
+        };
+      });
+    };
+}

day13/flake.nix

@@ -0,0 +1,15 @@
+Button A: X+94, Y+34
+Button B: X+22, Y+67
+Prize: X=8400, Y=5400
+
+Button A: X+26, Y+66
+Button B: X+67, Y+21
+Prize: X=12748, Y=12176
+
+Button A: X+17, Y+86
+Button B: X+84, Y+37
+Prize: X=7870, Y=6450
+
+Button A: X+69, Y+23
+Button B: X+27, Y+71
+Prize: X=18641, Y=10279