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