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