# Quick mock SNS deployment for 3rd party integration

**URL:** <https://forum.dfinity.org/t/quick-mock-sns-deployment-for-3rd-party-integration/33040>\
**Category:** Developers\
**Tags:** sns\
**Created:** [July 11, 2024, 3:17am UTC](https://forum.dfinity.org/t/quick-mock-sns-deployment-for-3rd-party-integration/33040 "2024-07-11T03:17:31Z")\
**Posts on this page:** 1\
**Showing post:** 10

<div class="post-metadata">

**Author:** ![aterga](https://sea1.discourse-cdn.com/flex023/user_avatar/forum.dfinity.org/aterga/32/4143_2.png) [@aterga](https://forum.dfinity.org/u/aterga)\
**Post date:** [July 16, 2024, 4:38pm UTC](https://forum.dfinity.org/t/quick-mock-sns-deployment-for-3rd-party-integration/33040/10 "2024-07-16T16:38:34Z")

</div>

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](https://forum.dfinity.org/t/automatically-modeling-swap-participation/33278):
>
> 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!

---

_[View the full topic](https://forum.dfinity.org/t/quick-mock-sns-deployment-for-3rd-party-integration/33040)._