DOC

it.unibo.tuprolog : solve-classic-jvm

Maven & Gradle

Aug 25, 2023
8 usages
86 stars

2P-Kt, Solve-Classic Module · Stable, state-machine-based implementation of Prolog's SLDNF resolution principle

Homepage Documentation Readme Maven Central
Table Of Contents

Latest Version

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

All Versions

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

Version Size Javadoc Updated
0.31.x
solve-classic-jvm-0.31.13-javadoc.jar
solve-classic-jvm-0.31.12-javadoc.jar
solve-classic-jvm-0.31.11-javadoc.jar
solve-classic-jvm-0.31.10-javadoc.jar
solve-classic-jvm-0.31.9-javadoc.jar
solve-classic-jvm-0.31.8-javadoc.jar
solve-classic-jvm-0.31.7-javadoc.jar
solve-classic-jvm-0.31.5-dev0m+0c07eb350-javadoc.jar
solve-classic-jvm-0.31.5-dev0f+5a2ad7593-javadoc.jar
solve-classic-jvm-0.31.5-dev0c+d53549ad7-javadoc.jar
solve-classic-jvm-0.31.5-dev02+b65f8712e-javadoc.jar
solve-classic-jvm-0.31.5-dev01+75e0f28ea-javadoc.jar
solve-classic-jvm-0.31.5-javadoc.jar
solve-classic-jvm-0.31.4-dev01+3caf83203-javadoc.jar
solve-classic-jvm-0.31.4-javadoc.jar
solve-classic-jvm-0.31.3-javadoc.jar
solve-classic-jvm-0.31.2-javadoc.jar
solve-classic-jvm-0.31.1-dev02+0cd8a1ae6-javadoc.jar
solve-classic-jvm-0.31.1-dev01+f8b39929b-javadoc.jar
solve-classic-jvm-0.31.1-javadoc.jar
solve-classic-jvm-0.31.0-javadoc.jar
0.30.x
solve-classic-jvm-0.30.5-javadoc.jar
solve-classic-jvm-0.30.4-javadoc.jar
solve-classic-jvm-0.30.3-dev0a+69949374d-javadoc.jar
solve-classic-jvm-0.30.3-javadoc.jar
solve-classic-jvm-0.30.2-dev0f+259d7b5b-javadoc.jar
solve-classic-jvm-0.30.2-dev08+5b060658-javadoc.jar
solve-classic-jvm-0.30.2-javadoc.jar
solve-classic-jvm-0.30.1-javadoc.jar
solve-classic-jvm-0.30.0-dev01+725eae35-javadoc.jar
solve-classic-jvm-0.30.0-javadoc.jar
0.20.x
solve-classic-jvm-0.20.9-dev0g+63540268-javadoc.jar
solve-classic-jvm-0.20.9-dev0c+bc6d9512-javadoc.jar
solve-classic-jvm-0.20.9-dev0a+8e9a240b-javadoc.jar
solve-classic-jvm-0.20.9-dev03+3250bb16-javadoc.jar
solve-classic-jvm-0.20.9-dev02+01edbfee-javadoc.jar
solve-classic-jvm-0.20.9-dev01+ada92962-javadoc.jar
solve-classic-jvm-0.20.9-javadoc.jar
solve-classic-jvm-0.20.7-javadoc.jar
solve-classic-jvm-0.20.4-javadoc.jar
solve-classic-jvm-0.20.3-javadoc.jar
solve-classic-jvm-0.20.2-dev07+51892bb0-javadoc.jar
solve-classic-jvm-0.20.2-javadoc.jar
solve-classic-jvm-0.20.1-javadoc.jar
solve-classic-jvm-0.20.0-javadoc.jar
0.19.x
solve-classic-jvm-0.19.0-dev2h+f6956cce-javadoc.jar
solve-classic-jvm-0.19.0-javadoc.jar
0.18.x
solve-classic-jvm-0.18.2-dev11+a1bd2a91-javadoc.jar
solve-classic-jvm-0.18.2-dev0z+13957e4e-javadoc.jar
solve-classic-jvm-0.18.2-javadoc.jar
solve-classic-jvm-0.18.1-dev05+178b1e2d-javadoc.jar
solve-classic-jvm-0.18.1-javadoc.jar
solve-classic-jvm-0.18.0-javadoc.jar
0.17.x
solve-classic-jvm-0.17.4-dev1q+a89f03d9-javadoc.jar
solve-classic-jvm-0.17.4-dev1d+a1160f82-javadoc.jar
solve-classic-jvm-0.17.4-dev0j+7e9a6f28-javadoc.jar
solve-classic-jvm-0.17.4-dev09+485a46b2-javadoc.jar
solve-classic-jvm-0.17.4-javadoc.jar
solve-classic-jvm-0.17.3-dev0a+b6708d58-javadoc.jar
solve-classic-jvm-0.17.3-dev08+7cca0c42-javadoc.jar
solve-classic-jvm-0.17.3-javadoc.jar
solve-classic-jvm-0.17.2-dev03+43981b51-javadoc.jar
solve-classic-jvm-0.17.2-javadoc.jar
solve-classic-jvm-0.17.1-dev1o+35e72985-javadoc.jar
solve-classic-jvm-0.17.1-dev18+089dd410-javadoc.jar
solve-classic-jvm-0.17.1-dev0z+70805b63-javadoc.jar
solve-classic-jvm-0.17.1-dev0w+54dd0dd0-javadoc.jar
solve-classic-jvm-0.17.1-dev0v+25724c0c-javadoc.jar
solve-classic-jvm-0.17.1-dev03+67bb5e23-javadoc.jar
solve-classic-jvm-0.17.1-javadoc.jar
solve-classic-jvm-0.17.0-javadoc.jar
0.16.x
solve-classic-jvm-0.16.1-dev4z+7e0f0041-javadoc.jar
solve-classic-jvm-0.16.1-dev4u+b2f05e44-javadoc.jar
solve-classic-jvm-0.16.1-dev4o+a2fea905-javadoc.jar
solve-classic-jvm-0.16.1-javadoc.jar
solve-classic-jvm-0.16.0-javadoc.jar
0.15.x
solve-classic-jvm-0.15.2-javadoc.jar
solve-classic-jvm-0.15.0-javadoc.jar
0.14.x
solve-classic-jvm-0.14.11-javadoc.jar
0.13.x
solve-classic-jvm-0.13.0-javadoc.jar
0.12.x
solve-classic-jvm-0.12.1-javadoc.jar
solve-classic-jvm-0.12.0-javadoc.jar
0.11.x
solve-classic-jvm-0.11.5-javadoc.jar
solve-classic-jvm-0.11.4-javadoc.jar
solve-classic-jvm-0.11.3-javadoc.jar
solve-classic-jvm-0.11.2-javadoc.jar
solve-classic-jvm-0.11.1-javadoc.jar
solve-classic-jvm-0.11.0-javadoc.jar
0.10.x
solve-classic-jvm-0.10.2-javadoc.jar

How to open Javadoc JAR file in web browser

  1. Rename the file solve-classic-jvm-0.31.13-javadoc.jar to solve-classic-jvm-0.31.13-javadoc.zip
  2. Use your favourite unzip tool (WinRAR / WinZIP) to extract it, now you have a folder solve-classic-jvm-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 "solve-classic-jvm-0.31.13-sources.jar" -d "solve-classic-jvm-0.31.13-javadoc" -subpackages

Advertisement

Dependencies from Group

core-metadata
icon @it.unibo.tuprolog
May 18, 2021
9 usages
86 stars
core-jvm
icon @it.unibo.tuprolog
Aug 25, 2023
9 usages
86 stars
core-js
icon @it.unibo.tuprolog
Aug 25, 2023
9 usages
86 stars
core
icon @it.unibo.tuprolog
Aug 25, 2023
9 usages
86 stars
solve-classic-jvm
icon @it.unibo.tuprolog
Aug 25, 2023
8 usages
86 stars
More Dependencies ❯

Discover Dependencies

kotest-assertions-shared-linuxx64
icon @io.kotest
May 10, 2023
8 usages
4.2k stars
scalatest-shouldmatchers_0.24
icon @org.scalatest
Jun 15, 2020
8 usages
1.1k stars
camel-health
icon @org.apache.camel
Aug 10, 2023
21 usages
27 stars
weaver-scalacheck_sjs1_2.13
icon @com.disneystreaming
Apr 14, 2023
11 usages
429 stars
kotest-assertions-shared-mingwx64
icon @io.kotest
May 10, 2023
8 usages
4.2k stars
kotest-assertions-shared-macosx64
icon @io.kotest
May 10, 2023
8 usages
4.2k stars
openapi_2.13
icon @org.endpoints4s
May 18, 2023
8 usages
403 stars
openapi_2.12
icon @org.endpoints4s
May 18, 2023
8 usages
403 stars
registry-service-center
icon @org.apache.servicecomb
Jun 21, 2023
10 usages
1.8k stars
ballcat-extend-mybatis-plus
icon @com.hccake
May 30, 2023
9 usages
2 stars
More Dependencies ❯