com.regblanc:scala-smtlib_2.11 (maven): scala-smtlib
Keywords: scala|scala-library|smtlib|smtlibv2