SMT solver for AWS Policy decisions in ceph RGWa project by abhishekl Currently AWS uses a SMT solver to decide on public/non-public policies https://aws.amazon.com/blogs/security/protect-sensitive-data-in-the-cloud-with-automated-reasoning-zelkova/ 
|