Added Formula.pure_literal_rule
Added Clause.empty
Added Formula.remove_clauses_containing and Formula.remove_literal
Added Clause.contains and equality operator
Added Model.contains
Added Clause.size
Model.add and Model.update now return a reference
Removed Formula implementation
Added Model.contains, Model.empty and equality operator
Fixed bug in Clause.erase
Implemented Formula (including DPLL)