From 3514e38cf48b611abc808b7de4c13862d3a4ede0 Mon Sep 17 00:00:00 2001
From: Andreas Grois <andi@grois.info>
Date: Sat, 4 Jan 2025 18:33:05 +0100
Subject: Initial Commit (untested)

---
 lakefile.toml | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 lakefile.toml

(limited to 'lakefile.toml')

diff --git a/lakefile.toml b/lakefile.toml
new file mode 100644
index 0000000..33cad73
--- /dev/null
+++ b/lakefile.toml
@@ -0,0 +1,11 @@
+name = "lean-astar"
+version = "0.1.0"
+defaultTargets = ["LeanAStar"]
+
+[[lean_lib]]
+name = "LeanAStar"
+
+[[require]]
+name = "BinaryHeap"
+git = "https://github.com/soulsource/BinaryHeap"
+revision = "376e4bf573f754aa7cb8c5d6ed652f1efece3050"
\ No newline at end of file
-- 
cgit v1.2.3