Merge pull request #7447 from zhassan-aws/iss7416

Do not clear the clause set between calls to the external SAT solver

Author: zhassan-aws

src/solvers/sat/external_sat.cpp

@@ -180,7 +180,6 @@ external_satt::resultt external_satt::do_prop_solve()
   // create a temporary file
   temporary_filet cnf_file("external-sat", ".cnf");
   write_cnf_file(cnf_file());
-  clauses.clear();
   auto output = execute_solver(cnf_file());
   return parse_result(output);
 }