From 9ea1aaa3cf00ed94dcf359d6b86472f8afc068c6 Mon Sep 17 00:00:00 2001 From: MyskYko Date: Fri, 20 Jun 2025 14:45:50 -0700 Subject: [PATCH] fix comments --- src/sat/cadical/cadicalSolver.c | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/sat/cadical/cadicalSolver.c b/src/sat/cadical/cadicalSolver.c index 677f32fe7..4b3230bad 100644 --- a/src/sat/cadical/cadicalSolver.c +++ b/src/sat/cadical/cadicalSolver.c @@ -103,7 +103,7 @@ int cadical_solver_addclause(cadical_solver* s, int* begin, int* end) { Synopsis [solve with resource limits] - Description [assumptions and inspection limits are not supported.] + Description [inspection limits are not supported.] SideEffects [] @@ -193,7 +193,7 @@ int cadical_solver_final(cadical_solver* s, int** ppArray) { Synopsis [get number of variables] - Description [emulated using "nVars".] + Description [also update "nVars" if added by BVA.] SideEffects [] @@ -211,7 +211,7 @@ int cadical_solver_nvars(cadical_solver* s) { Synopsis [add new variable] - Description [emulated using "nVars".] + Description [also update "nVars" if added by BVA.] SideEffects [] @@ -229,7 +229,7 @@ int cadical_solver_addvar(cadical_solver* s) { Synopsis [set number of variables] - Description [not only emulate with "nVars" but also reserve memory.] + Description [set "nVars" and reserve as many variables.] SideEffects []