The symbolic execution engine powering the K Framework - View it on GitHub