diff options
Diffstat (limited to 'src/options')
| -rw-r--r-- | src/options/arith_options | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/options/arith_options b/src/options/arith_options index 6f76758e3..36f0e6255 100644 --- a/src/options/arith_options +++ b/src/options/arith_options @@ -180,7 +180,7 @@ option nlAlgEntailConflicts --nl-alg-ent-conf bool :default false option nlAlgRewrites --nl-alg-rewrite bool :default true do rewrites in non-linear solver -option nlAlgSolveSubs --nl-alg-solve-subs bool :default true +option nlAlgSolveSubs --nl-alg-solve-subs bool :default false do solving for determining constant substitutions option nlAlgPurify --nl-alg-purify bool :default false |