/Symbolica

Symbolica's open-source symbolic execution engine.

Primary LanguageC#MIT LicenseMIT

Watchers