@staticmethod
def setup_command_line(parser):
    """Setup the command line options for an and of literals

        Arguments:
        - `parser`: parser to load with options.
        """
    parser.add_argument('k', metavar='<k>', type=int, help='clause width')
    parser.add_argument('n', metavar='<n>', type=int, help=
        'number of variables')
    parser.add_argument('m', metavar='<m>', type=int, help='number of clauses')
