Is your feature request related to a problem? Please describe.
Change variable name
Describe the solution you'd like
Need to rename SMT_MAX_INSTANCES_FETCHED to SUM_MAX_INSTANCES_FETCHED
Describe alternatives you've considered
A clear and concise description of any alternative solutions or features you've considered.
Additional context
already implemented but not with the good syntax.
Is your feature request related to a problem? Please describe.
Change variable name
Describe the solution you'd like
Need to rename SMT_MAX_INSTANCES_FETCHED to SUM_MAX_INSTANCES_FETCHED
Describe alternatives you've considered
A clear and concise description of any alternative solutions or features you've considered.
Additional context
already implemented but not with the good syntax.