[Original writeup](https://imp.ress.me/blog/2022-07-26/mch-2022-crypto/#sharing-is-caring)

tl;dr Solve Shamir's Secret Sharing over the integers with z3

Original writeup (https://imp.ress.me/blog/2022-07-26/mch-2022-crypto/#sharing-is-caring).