code: def pl_true_int_repr(clause, model={}):
      """
      Lightweight version of pl_true.
      Argument clause represents the set of args of an Or clause. This is used
      inside dpll_int_repr, it is not meant to be used directly.
  
      >>> from sympy.logic.algorithms.dpll import pl_true_int_repr
      >>> pl_true_int_repr({1, 2}, {1: False})
      >>> pl_true_int_repr({1, 2}, {1: False, 2: False})
      False
  
      """
      result = False
      for lit in clause:
          if lit < 0:
              p = model.get(-lit)
              if p is not None:
                  p = not p
          else:
              p = model.get(lit)
          if p is True:
              return True
          elif p is None:
              result = None
      return result
  
file_path: sympy/sympy/logic/algorithms/dpll.py
imports: from sympy.core.sorting import default_sort_key
  from sympy.logic.boolalg import Or, Not, conjuncts, disjuncts, to_cnf, to_int_repr, _find_predicates
  from sympy.assumptions.cnf import CNF
  from sympy.logic.inference import pl_true, literal_symbol
label_desc: Use image node_id 4 for calling a global function with example usage: pl_true_int_repr(clause, model) and returns: result, True