@staticmethod
def setup_command_line(parser):
    """Setup the command line options for clique-coloring formula

        Arguments:
        - `parser`: parser to load with options.
        """
    parser.add_argument('n', metavar='<n>', type=int, help='Number of vertices'
        )
    parser.add_argument('k', metavar='<k>', type=int, help='Clique size')
    parser.add_argument('c', metavar='<c>', type=int, help='Coloring size')
