Latest version of com.github.com-github-javabdd:com.github.javabdd
https://javadoc.io/doc/com.github.com-github-javabdd/com.github.javabdd
Current version 9.0.0
https://javadoc.io/doc/com.github.com-github-javabdd/com.github.javabdd/9.0.0
package-list path (used for javadoc generation -link option)
https://javadoc.io/doc/com.github.com-github-javabdd/com.github.javabdd/9.0.0/package-list