GitHub repository: uuverifiers/uppsat
Primary language: Scala
Created: 2016-10-06T15:34:05Z
Description: An approximating SMT solver