luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

fix cadical

This commit is contained in:
MyskYko 2025-06-20 13:40:04 -07:00
parent 6463f11625
commit a5156f257e
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/sat/cadical/cadicalSolver.c
View File

@ -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++;
}