Latest version

[![smt-annotations Scala version support](https://index.scala-lang.org/bitlap/smt/smt-annotations/latest.svg)](https://index.scala-lang.org/bitlap/smt/smt-annotations)

JVM badge

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