diff options
Diffstat (limited to 'src/options/arith_options.toml')
| -rw-r--r-- | src/options/arith_options.toml | 16 |
1 files changed, 13 insertions, 3 deletions
diff --git a/src/options/arith_options.toml b/src/options/arith_options.toml index c472bad3f..3005829e0 100644 --- a/src/options/arith_options.toml +++ b/src/options/arith_options.toml @@ -404,10 +404,20 @@ name = "Arithmetic theory" [[option]] name = "nlExt" category = "regular" - long = "nl-ext" - type = "bool" - default = "true" + long = "nl-ext=MODE" + type = "NlExtMode" + default = "FULL" help = "incremental linearization approach to non-linear" + help_mode = "Modes for the non-linear linearization" +[[option.mode.NONE]] + name = "none" + help = "Disable linearization approach" +[[option.mode.LIGHT]] + name = "light" + help = "Only use a few light-weight lemma schemes" +[[option.mode.FULL]] + name = "full" + help = "Use all lemma schemes" [[option]] name = "nlExtResBound" |