Removed const from Literal's atom
Added Clause.truth_value
Added Formula.truth_value
Added Model.update
Added Formula.davis_putnam