diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-11-05 16:50:48 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-11-05 16:50:48 -0600 |
commit | 2ef5f132c1169cbeadd580638cbc35b6e454d6a5 (patch) | |
tree | e52fe812aafe511293e345c494f4a389eec0f855 /src/theory/decision_strategy.cpp | |
parent | cc5ea0ed533e081ecccca57cf1c4efb63296f995 (diff) |
Change default sygus enumeration mode to auto (#2689)
Diffstat (limited to 'src/theory/decision_strategy.cpp')
0 files changed, 0 insertions, 0 deletions