code: def parse_options():
      
  
      try:
          opts, args = getopt.getopt(sys.argv[1:], 'ac:e:hilms:t:vx',
                  ['adapt', 'comp=', 'enum=', 'exhaust', 'help', 'incr', 'blo',
                      'minimize', 'solver=', 'trim=', 'verbose'])
      except getopt.GetoptError as err:
          sys.stderr.write(str(err).capitalize())
          usage()
          sys.exit(1)
  
      adapt = False
      exhaust = False
      cmode = None
      to_enum = 1
      incr = False
      blo = False
      minz = False
      solver = 'g3'
      trim = 0
      verbose = 1
  
      for opt, arg in opts:
          if opt in ('-a', '--adapt'):
              adapt = True
          elif opt in ('-c', '--comp'):
              cmode = str(arg)
          elif opt in ('-e', '--enum'):
              to_enum = str(arg)
              if to_enum != 'all':
                  to_enum = int(to_enum)
              else:
                  to_enum = 0
          elif opt in ('-h', '--help'):
              usage()
              sys.exit(0)
          elif opt in ('-i', '--incr'):
              incr = True
          elif opt in ('-l', '--blo'):
              blo = True
          elif opt in ('-m', '--minimize'):
              minz = True
          elif opt in ('-s', '--solver'):
              solver = str(arg)
          elif opt in ('-t', '--trim'):
              trim = int(arg)
          elif opt in ('-v', '--verbose'):
              verbose += 1
          elif opt in ('-x', '--exhaust'):
              exhaust = True
          else:
              assert False, 'Unhandled option: {0} {1}'.format(opt, arg)
  
      return adapt, blo, cmode, to_enum, exhaust, incr, minz, solver, trim, \
              verbose, args
docs: Parses command-line option