Effective ATS:
A Template-Based
Implementation of Graph Search

• main.html
• Makefile
• GraphSearch.dats
• GraphSearch_dfs.dats
• GraphSearch_bfs.dats
• QueenPuzzle.dats
• GameOf24Play.dats
• DoubletsPlay.dats