diff options
Diffstat (limited to 'examples/api/bitvectors.cpp')
-rw-r--r-- | examples/api/bitvectors.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/examples/api/bitvectors.cpp b/examples/api/bitvectors.cpp index 364fdb69e..4701bf8e3 100644 --- a/examples/api/bitvectors.cpp +++ b/examples/api/bitvectors.cpp @@ -26,7 +26,8 @@ int main() { ExprManager em; SmtEngine smt(&em); smt.setOption("incremental", true); // Enable incremental solving - + smt.setLogic("QF_BV"); // Set the logic + // The following example has been adapted from the book A Hacker's Delight by // Henry S. Warren. // |