From 3abb09133617ec988e978ad1442ea513921773a5 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 13 Aug 2025 10:23:51 -0700 Subject: [PATCH] fix #7776 --- src/api/api_solver.cpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/api/api_solver.cpp b/src/api/api_solver.cpp index dad3bc126..c9ce1f5cc 100644 --- a/src/api/api_solver.cpp +++ b/src/api/api_solver.cpp @@ -146,6 +146,8 @@ extern "C" { bool proofs_enabled = true, models_enabled = true, unsat_core_enabled = false; params_ref p = s->m_params; mk_c(c)->params().get_solver_params(p, proofs_enabled, models_enabled, unsat_core_enabled); + if (!s->m_solver_factory) + s->m_solver_factory = mk_smt_solver_factory(); s->m_solver = (*(s->m_solver_factory))(mk_c(c)->m(), p, proofs_enabled, models_enabled, unsat_core_enabled, s->m_logic); param_descrs r;