refactor(2025/day/10/part2): @macil/z3-solver

drops delegating to node in favor of a patched workaround for Bun/Deno

denoland/deno#17171

Author: mfulton26

2025/day/10/part/2/solve.ts

@@ -1,17 +1,12 @@
-/** delegates to Node.js until https://github.com/denoland/deno/issues/17171 is fixed */
 export default async function solve(input: string) {
-  const command = new Deno.Command("node", {
-    args: [`${import.meta.dirname}/solve.mts`],
-    stdin: "piped",
-    stdout: "piped",
-  });
-
-  const child = command.spawn();
-  const writer = child.stdin.getWriter();
-  await writer.write(new TextEncoder().encode(input));
-  writer.releaseLock();
-  await child.stdin.close();
-
-  const { stdout } = await child.output();
-  return +new TextDecoder().decode(stdout);
+  const { href: workerUrl } = new URL("./worker.ts", import.meta.url);
+  const worker = new Worker(workerUrl, { type: "module" });
+  try {
+    const { promise, resolve } = Promise.withResolvers<number>();
+    worker.onmessage = ({ data }) => resolve(data);
+    worker.postMessage(input);
+    return await promise;
+  } finally {
+    worker.terminate();
+  }
 }

2025/day/10/part/2/solve.mts 2025/day/10/part/2/worker.ts2025/day/10/part/2/solve.mts renamed to 2025/day/10/part/2/worker.ts

@@ -1,14 +1,15 @@
-import process from "node:process";
-import { text } from "node:stream/consumers";
+/// <reference no-default-lib="true" />
+/// <reference lib="deno.worker" />
+
 import { init } from "z3-solver";
 import { parseManual } from "../../manuals.ts";
 
-export default async function solve(input: string) {
+async function solve(input: string) {
   const manual = parseManual(input);
   const { Context } = await init();
+  const { Int, Optimize } = Context("main");
   let sum = 0;
   for (const { buttons, requirements } of manual) {
-    const { Int, Optimize } = Context("main");
     const variables = buttons.map((_, i) => Int.const(`b${i}`));
     const optimize = new Optimize();
     optimize.add(
@@ -29,6 +30,4 @@ export default async function solve(input: string) {
   return sum;
 }
 
-const input = await text(process.stdin);
-const output = await solve(input);
-console.log(output);
+self.onmessage = async ({ data }) => self.postMessage(await solve(data));

deno.json

@@ -17,6 +17,6 @@
     "@std/path": "jsr:@std/path@^1.0.8",
     "nerdamer": "npm:nerdamer@^1.1.13",
     "pretty-ms": "npm:pretty-ms@^9.3.0",
-    "z3-solver": "npm:z3-solver@^4.15.4"
+    "z3-solver": "jsr:@macil/z3-solver@^1.0.4"
   }
 }