4.0.0
org.bitlap
smt-annotations_2.12
jar
smt-annotations
https://github.com/bitlap/smt
0.9.2-SNAPSHOT
MIT
https://opensource.org/licenses/MIT
repo
smt-annotations
2023
org.bitlap
https://github.com/bitlap/smt
https://github.com/bitlap/smt
scm:git:https://github.com/bitlap/smt.git
scm:git:git@github.com:bitlap/smt.git
dreamylost
梦境迷离
https://blog.dreamylost.cn
dreamylost@outlook.com
IceMimosa
ChenKai
http://patamon.me
chk19940609@gmail.com
org.scala-lang
scala-compiler
2.12.17
provided
org.scala-lang
scala-library
2.12.17
org.scala-lang
scala-reflect
2.12.17
provided
org.scalatest
scalatest_2.12
3.2.15
test
com.typesafe.scala-logging
scala-logging_2.12
3.9.5
org.apache.logging.log4j
log4j-api
2.19.0
test
org.apache.logging.log4j
log4j-core
2.19.0
test
org.apache.logging.log4j
log4j-slf4j-impl
2.19.0
test