GitHub repository: pruemmer/sloth-repl
Primary language: Scala
Description: An SMT Solver for strings