diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-04-14 15:27:33 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-04-14 15:27:33 -0500 |
commit | c3f7c3c9203a355a9c45bf820e3fea0e29b439de (patch) | |
tree | 49de5974b1c7f46853e83c1b63c49bc1d989632b /src/theory/quantifiers/conjecture_generator.cpp | |
parent | e7546557861686126b86a94fe797701afb1be4cd (diff) |
Remove a few options (#4295)
These options are not robust and are not used.
Fixes #4282 and fixes #4291.
Diffstat (limited to 'src/theory/quantifiers/conjecture_generator.cpp')
0 files changed, 0 insertions, 0 deletions