diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2015-01-22 17:09:29 +0100 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2015-01-22 17:09:29 +0100 |
| commit | 732dc4232ccf62d9b4a3ddf49fcfbd56efabcd41 (patch) | |
| tree | b421689667af1b212d41c9b3c1c04cfc7cb11405 /src/theory/quantifiers/theory_quantifiers.cpp | |
| parent | d9d13027f1f1e3cc462dc5885dfd0b529bf57512 (diff) | |
Narrow sygus search space based on NNF and rewriting constant arguments.
Diffstat (limited to 'src/theory/quantifiers/theory_quantifiers.cpp')
0 files changed, 0 insertions, 0 deletions