diff options
| author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2020-10-02 17:25:29 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-02 17:25:29 +0200 |
| commit | 7f396917c481de7a57782a5daf31992c37d7d964 (patch) | |
| tree | b12de4d27cf82bdad810305f8883c5bf5372e803 /src/theory | |
| parent | 3051fd4ea618348da9a0b856b7bb07fcda027839 (diff) | |
Allow for theory combination of strings with nonlinear real arithmetic. (#5111)
This PR makes sure that enabling strings and nonlinear real arithmetic at the same time works fine.
Right now, the configuration for strings enforces linear arithmetic if no integers are enabled, in particular for NRA.
Fixed #5109.
Diffstat (limited to 'src/theory')
0 files changed, 0 insertions, 0 deletions