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

fix setnvars

This commit is contained in:
MyskYko 2025-06-20 15:28:27 -07:00
parent 9ea1aaa3cf
commit 6e130c15a3
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -229,7 +229,9 @@ int cadical_solver_addvar(cadical_solver* s) {
Synopsis [set number of variables]
Description [set "nVars" and reserve as many variables.]
Description [emulate with "nVars". also reserve as many variables only
when no variables have been added yet, as it destroys a
satisfying assignment in incremental solving.]
SideEffects []
@ -238,7 +240,9 @@ int cadical_solver_addvar(cadical_solver* s) {
***********************************************************************/
void cadical_solver_setnvars(cadical_solver* s,int n) {
s->nVars = n;
ccadical_reserve((CCaDiCaL*)s->p, n);
if(ccadical_vars((CCaDiCaL*)s->p) == 0) {
ccadical_reserve((CCaDiCaL*)s->p, n);
}
}
/**Function*************************************************************