aoc23

Notes

• Day 24
  • Part 2 was solved using the Z3 theorem prover - but the npm library does not work in Bun - so I had to make a seperate JS script that runs in Node.js instead. This is not commited as part of the repo. See ./solutions/d24.ts for more info.
• Day 25
  • There is no part 2.

Usage

To install dependencies:

bun install

To test:

bun test

To benchmark:

bun benchmark.ts

Click here to view the latest benchmark runs in CI