GitHub repository: niyaznigmatullin/ksmt
Primary language: Kotlin
Description: Kotlin API for various SMT solvers