Latest version of io.github.uuverifiers:princess-smt-parser_2.12
https://javadoc.io/doc/io.github.uuverifiers/princess-smt-parser_2.12
Current version 2021-08-12
https://javadoc.io/doc/io.github.uuverifiers/princess-smt-parser_2.12/2021-08-12
package-list path (used for javadoc generation -link option)
https://javadoc.io/doc/io.github.uuverifiers/princess-smt-parser_2.12/2021-08-12/package-list