An advanced automated reasoning tool for memory consistency model specifications. - View it on GitHub