DOC

it.unibo.tuprolog : test-solve

Maven & Gradle

Aug 25, 2023
93 stars

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

Table Of Contents

Latest Version

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

All Versions

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

Version Size Javadoc Updated
0.31.x
0.30.x
0.20.x
0.19.x
0.18.x
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-0.31.13-javadoc.jar to test-solve-0.31.13-javadoc.zip
  2. Use your favourite unzip tool (WinRAR / WinZIP) to extract it, now you have a folder test-solve-0.31.13-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-0.31.13-sources.jar" -d "test-solve-0.31.13-javadoc" -subpackages 

Advertisement

Dependencies from Group

May 18, 2021
9 usages
93 stars
Aug 25, 2023
9 usages
93 stars
Aug 25, 2023
9 usages
93 stars
Aug 25, 2023
9 usages
93 stars
Aug 25, 2023
8 usages
93 stars

Discover Dependencies

Aug 25, 2023
93 stars
Aug 25, 2023
93 stars
Aug 25, 2023
1 usages
93 stars
2p
Jun 20, 2023
93 stars
Jun 20, 2023
93 stars
Jun 20, 2023
93 stars
Nov 06, 2021
0 stars