This PR disables the `--nl-cad` option by default. It was erroneously enabled with #5345 but leads to errors on, e.g., QF_NIA. Enabling for QF_NRA is done in set_defaults.
category = "regular"
long = "nl-cad"
type = "bool"
- default = "true"
+ default = "false"
help = "whether to use the cylindrical algebraic decomposition solver for non-linear arithmetic"
[[option]]
if (!options::nlCad() && !options::nlCad.wasSetByUser())
{
options::nlCad.set(true);
- options::nlExt.set(false);
- options::nlRlvMode.set(options::NlRlvMode::INTERLEAVE);
+ if (!options::nlExt.wasSetByUser())
+ {
+ options::nlExt.set(false);
+ }
+ if (!options::nlRlvMode.wasSetByUser())
+ {
+ options::nlRlvMode.set(options::NlRlvMode::INTERLEAVE);
+ }
}
#endif
}