diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2016-01-15 00:18:49 +0100 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2016-01-15 00:18:49 +0100 |
| commit | 081351e87edeb52facba0d0abc2e933433480444 (patch) | |
| tree | 8d0192c895c4103877e12673c0927d25e53a3db3 /src/theory/quantifiers | |
| parent | 94fe6a0d525bff3cdd4450b2abd04eb2cb044308 (diff) | |
Ensure model construction for parametric sorts involving uninterpreted sorts respect cardinality bounds on when finite model finding is enabled.
Diffstat (limited to 'src/theory/quantifiers')
0 files changed, 0 insertions, 0 deletions