diff options
Diffstat (limited to 'src/options/arith_options.toml')
-rw-r--r-- | src/options/arith_options.toml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/options/arith_options.toml b/src/options/arith_options.toml index ab33f123c..fde48d3f7 100644 --- a/src/options/arith_options.toml +++ b/src/options/arith_options.toml @@ -568,3 +568,11 @@ header = "options/arith_options.h" default = "false" help = "whether to use the cylindrical algebraic decomposition solver for non-linear arithmetic" +[[option]] + name = "nlICP" + category = "regular" + long = "nl-icp" + type = "bool" + default = "false" + help = "whether to use ICP-style propagations for non-linear arithmetic" + |