diff options
Diffstat (limited to 'examples/api/python/strings.py')
| -rw-r--r-- | examples/api/python/strings.py | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/examples/api/python/strings.py b/examples/api/python/strings.py index aa540f89c..64ce06548 100644 --- a/examples/api/python/strings.py +++ b/examples/api/python/strings.py @@ -15,11 +15,11 @@ # through the Python API. This is a direct translation of strings-new.cpp. ## -import pycvc4 -from pycvc4 import kinds +import pycvc5 +from pycvc5 import kinds if __name__ == "__main__": - slv = pycvc4.Solver() + slv = pycvc5.Solver() # Set the logic slv.setLogic("QF_SLIA") # Produce models @@ -81,7 +81,7 @@ if __name__ == "__main__": # check sat result = slv.checkSatAssuming(q) - print("CVC4 reports:", q, "is", result) + print("cvc5 reports:", q, "is", result) if result: print("x = ", slv.getValue(x)) |