This directory includes the source files of HSF-SPIN. Some of this files are:

 - check.cc: main file.
 - protocol.h: Expansion function and other things.
 - global.h: Global definitions.
 - astar.h: A* search algorithm.
 - dfs.h: Depth first search algorithm.
 - idastar.h: Iterative Deepening A* search algorithm.
 - bitstate_idastar: Bitstate version of IDA*. 
 - ndfs.h: Nested depth first search algorithm and its improved version.
 - heuristics.h: Heuristic functions.
 - scc.h: Classification of strongly connected component.
