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-05-10
https://javadoc.io/doc/io.github.uuverifiers/princess-smt-parser_2.12/2021-05-10
package-list path (used for javadoc generation -link option)
https://javadoc.io/doc/io.github.uuverifiers/princess-smt-parser_2.12/2021-05-10/package-list