Adding solve() and add_clause() method to Solver