How can I know specfication of non-standard functions of z3 #7290
Replies: 1 comment 1 reply
-
this one is not documented. z3/src/ast/seq_decl_plugin.cpp Line 214 in 9073da4 The documented functions are listed here: https://microsoft.github.io/z3guide/docs/theories/Strings and here |
Beta Was this translation helpful? Give feedback.
1 reply
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
Hello, I am a Z3 user.
To my knowledge, Z3 provides non-standard functions (e.g., seq.last_indexof) as well. Could you please advise me on where I can find a list of these non-standard functions and their usage instructions?
Beta Was this translation helpful? Give feedback.
All reactions