GitHub repository: uuverifiers/sloth
Primary language: Scala
Created: 2017-10-03T15:16:08Z
Description: An SMT Solver for strings