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