Symbolic execution engine using REIL (Reverse Engineering Intermediate Language)
Check out the wiki (in progress) on the github page to find out more about the project.
Uses a modified version of the REIL Translation Library: https://github.com/c01db33f/reil (found in reil/ folder)

Requirements:
Z3
Capstone