🔧 Useless but cool.
Latest version
[](https://index.scala-lang.org/bitlap/smt/smt-annotations)
JVM badge
[](https://index.scala-lang.org/bitlap/smt/smt-annotations)