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

fix comments

This commit is contained in:
MyskYko 2025-06-20 14:45:50 -07:00
parent a5156f257e
commit 9ea1aaa3cf
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -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 []