How to add new files to the planner
New source code files can be added to the planner by adding them to src/search/CMakeLists.txt.
We group our files into CMake libraries that can be enabled/disabled in a manual build. Libraries can have dependencies on other libraries. This dependency graph is used to enable all libraries needed for a manual build. For example, if a manual build only enables the library potentials, the library lp_solver will be compiled as well because the code for potential heuristics requires an LP solver.
For details of how to define CMake libraries, see the documentation in src/search/CMakeLists.txt.