Hello,
Is there something like array expression in GiNaC? I want to do symbolic
computation involving array expressions related to program verification.
I would like to implement a theorem prover on top of GiNaC. So I also need
conditional expressions.
For example:
x = mem[2] + 2;
y = mem[i] -3;
x >= 3;
Can GiNaC represent these expressions?
Note that array index might be a symbolic value.
Thank you.
- Zhongxing Xu