Added Variables
Added Model
Modified Clause implementation to use vector instead of set
Made Atom.reset_counter public
Added Formula