Simple and naive implementation of Shamir's Secret Sharing using the Z3 solver. For demo purposes only, don't use in prod.
You can open this notebook directly with Google Colab: https://colab.research.google.com/github/vkobel/z3-shamir-secret-sharing/blob/master/z3-shamir-secret-sharing.ipynb