Is this the AWS thing you referenced? https://aws.amazon.com/what-is/automated-reasoning/