projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7f7f718) | patch
Adding SmtEngine::setLogic(const char* logic) so that smt.setLogic("QF_LRA"); works.
authorTim King <taking@cs.nyu.edu>
Sat, 1 Dec 2012 00:08:38 +0000 (00:08 +0000)
committerTim King <taking@cs.nyu.edu>
Sat, 1 Dec 2012 00:08:38 +0000 (00:08 +0000)
commitf25292c6a2f957b9dab9df2bb19892071387fd50
tree9a217b4a5c09b0df8e6c42c7968e96ec43886918tree
parent7f7f7188f1f62502653da77660e333dfb8b38785commit | diff
Adding SmtEngine::setLogic(const char* logic) so that smt.setLogic("QF_LRA"); works.
src/smt/smt_engine.cpp diff | blob | history
src/smt/smt_engine.h diff | blob | history