name = "lean-astar"
version = "0.1.0"
defaultTargets = ["LeanAStar"]
testDriver = "LeanAStarTest"

[[lean_lib]]
name = "LeanAStar"

[[lean_lib]]
name = "LeanAStarTest"

[[lean_exe]]
name = "LeanAStarTest"

[[require]]
name = "BinaryHeap"
git = "https://github.com/soulsource/BinaryHeap"
revision = "7896480adb78fc9f9b7a86a5eddd0fc5e3f9e4d5"