I am trying to set set a bit at a particular index in a bit vector in z3.
Currently, I use bit-wise or to accomplish this. I am working with large bit vectors (over a 1000 bits) and believe this is a causing the solver to take a significant amount of time. I was hoping their was a way that was faster than this to set an arbitrary bit in a bit-vector (similar to the store used by Arrays).
Is there a better way to do this, or am I stuck just using the bit-wise or?