diff options
author | Tim King <taking@cs.nyu.edu> | 2012-12-01 00:08:38 +0000 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2012-12-01 00:08:38 +0000 |
commit | f25292c6a2f957b9dab9df2bb19892071387fd50 (patch) | |
tree | 9a217b4a5c09b0df8e6c42c7968e96ec43886918 /examples | |
parent | 7f7f7188f1f62502653da77660e333dfb8b38785 (diff) |
Adding SmtEngine::setLogic(const char* logic) so that smt.setLogic("QF_LRA"); works.
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions