GitHub repository: Koukyosyumei/Gymbo
Primary language: C++
Description: gradient-based symbolic execution engine implemented from scratch