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