diff options
Diffstat (limited to 'src/options/arith_options')
-rw-r--r-- | src/options/arith_options | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/options/arith_options b/src/options/arith_options index 32310a495..bddde7a16 100644 --- a/src/options/arith_options +++ b/src/options/arith_options @@ -171,6 +171,9 @@ option nlExt --nl-ext bool :default true option nlExtResBound --nl-ext-rbound bool :default false use resolution-style inference for inferring new bounds +option nlExtFactor --nl-ext-factor bool :default true + use factoring inference in non-linear solver + option nlExtTangentPlanes --nl-ext-tplanes bool :default false use non-terminating tangent plane strategy for non-linear |