parameters: (self, output)
docstring: Parses the solver output, which should conform to the output of the
              CSP Solver competitions. http://cpai.ucc.ie/09/
docstring_summary: Parses the solver output, which should conform to the output of the
              CSP Solver competitions. http://cpai.ucc.ie/09/
docstring_tokens: Parses the solver output which should conform to the output of the CSP Solver competitions . http : // cpai . ucc . ie / 09 /
function: def parse_output(self, output):
          """
              Parses the solver output, which should conform to the output of the
              CSP Solver competitions. http://cpai.ucc.ie/09/
          """
          values = []
          for line in output.split("\n"):
              line = line.strip()
              first_two = line[:2]
              if len(line) == 0:
                  continue
  
              if first_two == "s ":
                  print(line)
                  if "UNSATISFIABLE" in line or "UNSAT" in line:
                      self.sat = Numberjack.UNSAT
                  elif "SATISFIABLE" in line or "SAT" in line:
                      self.sat = Numberjack.SAT
              elif first_two == "v ":
                  values.extend(list(map(int, line[2:].split())))
              elif first_two == "d " or first_two == "c ":
                  self.parse_solver_info_line(line[2:])
  
          if self.sat == Numberjack.SAT:
              for i, variable in enumerate(self.variables):
                  variable.value = values[i]
function_tokens: def parse_output ( self , output ) : values = [ ] for line in output . split ( "\n" ) : line = line . strip ( ) first_two = line [ : 2 ] if len ( line ) == 0 : continue if first_two == "s " : print ( line ) if "UNSATISFIABLE" in line or "UNSAT" in line : self . sat = Numberjack . UNSAT elif "SATISFIABLE" in line or "SAT" in line : self . sat = Numberjack . SAT elif first_two == "v " : values . extend ( list ( map ( int , line [ 2 : ] . split ( ) ) ) ) elif first_two == "d " or first_two == "c " : self . parse_solver_info_line ( line [ 2 : ] ) if self . sat == Numberjack . SAT : for i , variable in enumerate ( self . variables ) : variable . value = values [ i ]