diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2015-01-24 19:00:59 +0100 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2015-01-24 19:00:59 +0100 |
| commit | 73cecf65a750b9ee59486083af5ee55734da0a6a (patch) | |
| tree | 43cae0e79c45f2c8204f3f5bc6e3c3f198e6845e /src/theory/substitutions.cpp | |
| parent | e1e393dff082ad115ba198c32990235fb991eb13 (diff) | |
Add --lte-restrict-inst-closure option. Push dt.size fairness constraints inside splitting lemmas for sygus.
Diffstat (limited to 'src/theory/substitutions.cpp')
0 files changed, 0 insertions, 0 deletions