DOC

it.unibo.tuprolog : test-solve-metadata

Maven & Gradle

May 18, 2021
93 stars

2P-Kt -- Module `Test Solve` · Common testing facilities for 2P-Kt-based logic solvers

Table Of Contents

Latest Version

Download it.unibo.tuprolog : test-solve-metadata Javadoc & API Documentation - Latest Versions:

All Versions

Download it.unibo.tuprolog : test-solve-metadata Javadoc & API Documentation - All Versions:

Version Size Javadoc Updated
0.17.x
0.16.x
0.15.x
0.14.x
0.13.x
0.12.x
0.11.x
0.10.x

How to open Javadoc JAR file in web browser

  1. Rename the file test-solve-metadata-0.17.4-javadoc.jar to test-solve-metadata-0.17.4-javadoc.zip
  2. Use your favourite unzip tool (WinRAR / WinZIP) to extract it, now you have a folder test-solve-metadata-0.17.4-javadoc
  3. Double click index.html will open the index page on your default web browser.

How to generate Javadoc from a source JAR?

Running the command javadoc:

javadoc --ignore-source-errors -encoding UTF-8 -sourcepath "test-solve-metadata-0.17.4-sources.jar" -d "test-solve-metadata-0.17.4-javadoc" -subpackages 

Advertisement