simple depth-limited A* search is running
fully integrated A* search into proof stack
addition and multiplication, special cases for numeric values
license and documentation for aStar.js