The Cryptol Symbolic Simulator, part of SAW. - View it on GitHub