diff options
Diffstat (limited to 'examples/api/python/strings.py')
| -rwxr-xr-x | examples/api/python/strings.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/api/python/strings.py b/examples/api/python/strings.py index 5c8e91997..58a6f6508 100755 --- a/examples/api/python/strings.py +++ b/examples/api/python/strings.py @@ -20,7 +20,7 @@ from pycvc4 import kinds if __name__ == "__main__": slv = pycvc4.Solver() # Set the logic - slv.setLogic("S") + slv.setLogic("QF_SLIA") # Produce models slv.setOption("produce-models", "true") # The option strings-exp is needed |