diff options
author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2012-10-01 22:11:26 +0000 |
---|---|---|
committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2012-10-01 22:11:26 +0000 |
commit | 35ac65b0034eacf2766d9e94be1c7fe9c116bb75 (patch) | |
tree | de4a0848b08485fa2d9fa60738e0a47b5c876dc5 /src/util/rational_cln_imp.h | |
parent | 2ee52cf8ccaa2e4514cd0e2023ee71a2b8b8d467 (diff) |
"Fix" (disable) portfolio when using quantifiers
Other changes:
* fix compile error in smt_engine in debug builds
* add getLogicInfo in smt_engine
* remove "empty-channel" and "disable-lemma-sharing" debug tags
(this commit was certified error- and warning-free by the test-and-commit script.)
Diffstat (limited to 'src/util/rational_cln_imp.h')
0 files changed, 0 insertions, 0 deletions