/Gymbo

gradient-based symbolic execution engine implemented from scratch

Primary LanguageC++Apache License 2.0Apache-2.0

Stargazers