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