GitHub repository: oveeernight/usvm
Primary language: Kotlin
Description: Universal Symbolic Virtual Machine