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