Quick mock SNS deployment for 3rd party integration

[aterga]

Note that not all (valid) SNS init configurations result in swaps that can be completed with exactly the minimum required number of direct participants. So solving this problem in general is a bit fiddly.

Here’s the first step towards a general solution:

Automatically modeling swap participation

While thinking about how to generate optimal testing scenarios for SNS swaps, I wrote a little SMT model that seems to work quite well with the Z3 SMT solver. It allows automatically generating participations that satisfy a bunch of constraints. Sharing the model in case it might be useful for others. Questions and suggestion are welcome!