loda-cpp icon indicating copy to clipboard operation
loda-cpp copied to clipboard

Increase num minimization terms

Open ckrause opened this issue 2 years ago • 0 comments

We currently use the same number of terms as min number and number of minimization terms. Is it possible to introduce a new constant for the number of minimization terms and to increase it to 100 or 120? This would help to avoid false optimizations of programs for decimal expansions.

ckrause avatar Sep 22 '23 20:09 ckrause