From a5156f257e172185695aba1d10a9c15c5899b377 Mon Sep 17 00:00:00 2001 From: MyskYko Date: Fri, 20 Jun 2025 13:40:04 -0700 Subject: [PATCH] fix cadical --- src/sat/cadical/cadicalSolver.c | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/src/sat/cadical/cadicalSolver.c b/src/sat/cadical/cadicalSolver.c index 9caea6605..677f32fe7 100644 --- a/src/sat/cadical/cadicalSolver.c +++ b/src/sat/cadical/cadicalSolver.c @@ -201,6 +201,9 @@ int cadical_solver_final(cadical_solver* s, int** ppArray) { ***********************************************************************/ int cadical_solver_nvars(cadical_solver* s) { + if(s->nVars < ccadical_vars((CCaDiCaL*)s->p)) { + s->nVars = ccadical_vars((CCaDiCaL*)s->p); + } return s->nVars; } @@ -216,6 +219,9 @@ int cadical_solver_nvars(cadical_solver* s) { ***********************************************************************/ int cadical_solver_addvar(cadical_solver* s) { + if(s->nVars < ccadical_vars((CCaDiCaL*)s->p)) { + s->nVars = ccadical_vars((CCaDiCaL*)s->p); + } return s->nVars++; }