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