Latest version of it.unibo.alchemist:alchemist-sapere-mathexp
https://javadoc.io/doc/it.unibo.alchemist/alchemist-sapere-mathexp
Current version 9.3.0-devza+3c4e9cfc8
https://javadoc.io/doc/it.unibo.alchemist/alchemist-sapere-mathexp/9.3.0-devza+3c4e9cfc8
package-list path (used for javadoc generation -link option)
https://javadoc.io/doc/it.unibo.alchemist/alchemist-sapere-mathexp/9.3.0-devza+3c4e9cfc8/package-list