GitHub repository: p-org/PSymbolic
Primary language: Java
Description: This repository implements the symbolic execution engine for P