diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-06-25 07:15:06 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-25 07:15:06 -0500 |
| commit | 1af865f3429c0dd5910b5a8d1e12d690c3623dfa (patch) | |
| tree | ac996a942c79ebb083900226a7b7c0348ef9be3a /src/theory/engine_output_channel.h | |
| parent | e8482734bb0cd0af285464a4c50b631234ea36ee (diff) | |
Update option --nl-ext to enable/disable incremental linearization solver only (#4649)
Previously, this option disabled/enabled the entire non-linear solver. This is in preparation for new CAD techniques.
I am intentionally not renaming "--nl-ext" to e.g. "--nl-inc-lin" for the sake of not breaking user configurations.
It makes some minor changes to clean the interface in a few places and to not enable the non-linear solver in linear logics.
Diffstat (limited to 'src/theory/engine_output_channel.h')
0 files changed, 0 insertions, 0 deletions