ADD_SUBDIRECTORY(TraceMinDavidson)
