regb / scala-smtlib 0.2.2

MIT License GitHub

Scala library for parsing and printing the SMT-LIB format

scala
scala-library
smtlib
smtlibv2

Scala versions: 2.13 2.12 2.11 2.10

Latest version

[![scala-smtlib Scala version support](https://index.scala-lang.org/regb/scala-smtlib/scala-smtlib/latest.svg)](https://index.scala-lang.org/regb/scala-smtlib/scala-smtlib)

JVM badge

[![scala-smtlib Scala version support](https://index.scala-lang.org/regb/scala-smtlib/scala-smtlib/latest-by-scala-version.svg?platform=jvm)](https://index.scala-lang.org/regb/scala-smtlib/scala-smtlib)