From 4749b3ca572618fa1a7cdb17e2abba9b498279ca Mon Sep 17 00:00:00 2001
From: Andreas Grois <andi@grois.info>
Date: Sun, 5 Jan 2025 23:55:54 +0100
Subject: Move AStar into a separte library and use it for Day17-1

---
 lakefile.lean | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'lakefile.lean')

diff --git a/lakefile.lean b/lakefile.lean
index a3a080f..3c764e1 100644
--- a/lakefile.lean
+++ b/lakefile.lean
@@ -33,3 +33,6 @@ lean_exe «aoc-2023» where
 
 require BinaryHeap from git
   "https://github.com/soulsource/BinaryHeap"@"376e4bf573f754aa7cb8c5d6ed652f1efece3050"
+
+require «lean-astar» from git
+  "https://github.com/soulsource/lean-astar"@"3514e38cf48b611abc808b7de4c13862d3a4ede0"
-- 
cgit v1.2.3