how to check if a const in z3 is a variable or a value?

Become part of the top 3% of the developers by applying to Toptal https://topt.al/25cXVn

--

Track title: CC P Beethoven - Piano Sonata No 2 in A

--

Chapters
00:00 Question
00:44 Accepted answer (Score 0)
03:19 Answer 2 (Score 7)
04:54 Thank you

--

Full question
https://stackoverflow.com/questions/1225...

Question links:
[z3py]: http://rise4fun.com/z3py

Accepted answer links:
http://research.microsoft.com/en-us/um/r...
http://rise4fun.com/Z3Py/ELtn

Answer 2 links:
http://rise4fun.com/Z3Py/vjb

--

Content licensed under CC BY-SA
https://meta.stackexchange.com/help/lice...

--

Tags
#python #z3

#avk47