GitHub repository: samarion/scala-smtlib
Primary language: Scala
Description: SMT-LIB library for Scala