GitHub repository: malodetz/ksmt
Description: Kotlin API for various SMT solvers