• tools.aqua
  • bgw-gui
    bgw-core bgw-gui cvc5-turnkey turnkey-gradle-plugin turnkey-support z3-turnkey
  • 0.9
    0.9 0.8.1 0.8 0.7.3 0.7.2 0.7.1 0.7 0.6
Bookmarks
Latest version of tools.aqua:bgw-gui
https://javadoc.io/doc/tools.aqua/bgw-gui
Current version 0.9
https://javadoc.io/doc/tools.aqua/bgw-gui/0.9
package-list path (used for javadoc generation -link option)
https://javadoc.io/doc/tools.aqua/bgw-gui/0.9/package-list