class Solve::Solver

def reset_possible_values_for(variable)
  trace("Resetting possible values for #{variable.artifact}")
  possible_values[variable.artifact] = nil
  x = possible_values_for(variable)
  trace("Possible values are #{x}")
  x
end