GitHub repository: polystat/symex
Primary language: Java
Description: Symbolic Execution engine for finding bugs in EO programs