Include file:
#include "mcrl2/utilities/command_line_interface.h"
Components for command line interfaces of mCRL2 tools.
mcrl2/utilities/cache_policy.h
mcrl2/utilities/configuration.h