I'm trying to put together something non-trivial using Z3, and I can't wrap my head around the internals of the thing for non-trivial uses.
My use case:
Input: An array of values, an array of desired results, a list of functions that acts on that array.
Operation: put the functions together in order to transform first array into second