diff options
author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2020-10-01 18:24:55 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-10-01 11:24:55 -0500 |
commit | 25aaeabe85f8c3f2c6701fcd48f00f221f8dfccf (patch) | |
tree | d05317d4f4aeae7b3f70ea250ca146b00112a1b3 /src/options | |
parent | 874350b54bd0f275fa8af7ca7a7af186bde7c030 (diff) |
Allow to use the initial assignment for CAD (#5177)
While the CAD subsolver already provided for a way to use the linear model to seed the model search, it was not actually used yet.
This PR now does use it, though it is disabled by a Boolean flag.
Diffstat (limited to 'src/options')
-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 fde48d3f7..da3a8dc88 100644 --- a/src/options/arith_options.toml +++ b/src/options/arith_options.toml @@ -569,6 +569,14 @@ header = "options/arith_options.h" help = "whether to use the cylindrical algebraic decomposition solver for non-linear arithmetic" [[option]] + name = "nlCadUseInitial" + category = "regular" + long = "nl-cad-initial" + type = "bool" + default = "false" + help = "whether to use the linear model as initial guess for the cylindrical algebraic decomposition solver" + +[[option]] name = "nlICP" category = "regular" long = "nl-icp" |