They used Stan! http://mc-stan.org/

Gelman and the rest of the crew at Columbia are doing great work. Check out https://www.generable.com/ too.