diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-12-14 13:35:53 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-12-14 13:35:53 -0600 |
| commit | e16ab44a2b4622bb5745633cbafd43a0023a518c (patch) | |
| tree | d980bdc3dc771abfc8101036d1e2aaebc8020134 /src/options/arith_options.toml | |
| parent | ad34df900d79aad64558b354a866870715bfd007 (diff) | |
| parent | effb0d47ba5bfaebae17dcd06153489dccd90eff (diff) | |
Merge branch 'master' into cav22-stringscav22-strings
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 e5f65684b..5e6796864 100644 --- a/src/options/arith_options.toml +++ b/src/options/arith_options.toml @@ -500,6 +500,14 @@ name = "Arithmetic Theory" help = "whether to use the cylindrical algebraic coverings solver for non-linear arithmetic" [[option]] + name = "nlCadVarElim" + category = "regular" + long = "nl-cad-var-elim" + type = "bool" + default = "false" + help = "whether to eliminate variables using equalities before going into the cylindrical algebraic coverings solver" + +[[option]] name = "nlCadPrune" category = "regular" long = "nl-cad-prune" |