class Bundler::PubGrub::PartialSolution

def derive(term, cause)
  add_assignment(Assignment.new(term, cause, decision_level, assignments.length))
end