Latest version of io.ksmt:ksmt-core
https://javadoc.io/doc/io.ksmt/ksmt-core
Current version 0.5.5
https://javadoc.io/doc/io.ksmt/ksmt-core/0.5.5
package-list path (used for javadoc generation -link option)
https://javadoc.io/doc/io.ksmt/ksmt-core/0.5.5/package-list