diff options
Diffstat (limited to 'examples/api/sets.cpp')
| -rw-r--r-- | examples/api/sets.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/examples/api/sets.cpp b/examples/api/sets.cpp index 79168e06a..7390eefe0 100644 --- a/examples/api/sets.cpp +++ b/examples/api/sets.cpp @@ -26,6 +26,10 @@ int main() { ExprManager em; SmtEngine smt(&em); + // Optionally, set the logic. We need at least UF for equality predicate, + // integers (LIA) and sets (FS). + smt.setLogic("QF_UFLIAFS"); + // Produce models smt.setOption("produce-models", true); |