Реализации алгоритмов/Алгоритм поиска A*: различия между версиями

Содержимое удалено Содержимое добавлено
дополнение ссылками на реализации на различных языках программирования
→‎Ссылки: дополнение
Строка 190:
* [https://github.com/komamitsu/ocaml-libastar/blob/master/astar.ml OCaml]
* [https://github.com/jmgq/php-a-star PHP], [https://github.com/gcatlin/astar-php PHP]
* [https://github.com/RobertSasak/Prolog-Planning-Library/blob/master/a-star.pl Prolog]
* [https://github.com/elemel/python-astar/blob/master/src/astar.py Python]
* [https://github.com/Pommespanzer/astar-ruby Ruby]
Строка 195 ⟶ 196 :
* [https://github.com/margnus1/planning/blob/master/astar.sml StandardML]
* [https://github.com/ariela/codepocket/blob/master/Visual%20Basic/A-Star.vb Visual Basic]
 
;Доказательство правильности и полноты
* [https://github.com/sboosali/coq/blob/master/fin/Astar.v COQ]