MVN

it.unibo.tuprolog : solve-classic

Maven & Gradle

Aug 25, 2023

4 usages

93 stars

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

Homepage Documentation Readme Maven Central

<!-- https://mavenlibs.com/maven/dependency/it.unibo.tuprolog/solve-classic --><dependency>
    <groupId>it.unibo.tuprolog</groupId>
    <artifactId>solve-classic</artifactId>
    <version>0.31.13</version>
</dependency>

// https://mavenlibs.com/maven/dependency/it.unibo.tuprolog/solve-classicimplementation group: 'it.unibo.tuprolog', name: 'solve-classic', version: '0.31.13'

// https://mavenlibs.com/maven/dependency/it.unibo.tuprolog/solve-classicimplementation 'it.unibo.tuprolog:solve-classic:0.31.13'

// https://mavenlibs.com/maven/dependency/it.unibo.tuprolog/solve-classicimplementation("it.unibo.tuprolog:solve-classic:0.31.13")

// https://mavenlibs.com/maven/dependency/it.unibo.tuprolog/solve-classiclibraryDependencies += "it.unibo.tuprolog" % "solve-classic" % "0.31.13"

<!-- https://mavenlibs.com/maven/dependency/it.unibo.tuprolog/solve-classic --><dependency org="it.unibo.tuprolog" name="solve-classic" rev="0.31.13"/>

// https://mavenlibs.com/maven/dependency/it.unibo.tuprolog/solve-classic@Grapes(
    @Grab(group='it.unibo.tuprolog', module='solve-classic', version='0.31.13')
)

;; https://mavenlibs.com/maven/dependency/it.unibo.tuprolog/solve-classic[it.unibo.tuprolog/solve-classic "0.31.13"]

# https://mavenlibs.com/maven/dependency/it.unibo.tuprolog/solve-classic'it.unibo.tuprolog:solve-classic:jar:0.31.13'

Copy

pom.xml

Include comment with link to declaration

Table Of Contents

Latest Version
All Versions
How to add a dependency to Maven
How to add a dependency to Gradle
How to add a dependency to SBT Scala

Latest Version

Choose a version of it.unibo.tuprolog : solve-classic to add to Maven or Gradle - Latest Versions:

Latest Stable: 0.31.13

All Versions

Choose a version of it.unibo.tuprolog : solve-classic to add to Maven or Gradle - All Versions:

Version	Vulnerabilities	Updated
0.31.x	solve-classic-0.31.13		Aug 25, 2023
solve-classic-0.31.12		Aug 18, 2023
solve-classic-0.31.11		Jul 19, 2023
solve-classic-0.31.10		Jul 12, 2023
solve-classic-0.31.9		Jul 08, 2023
solve-classic-0.31.8		Jul 08, 2023
solve-classic-0.31.7		Jul 07, 2023
solve-classic-0.31.5-dev0m+0c07eb350		Jul 07, 2023
solve-classic-0.31.5-dev0f+5a2ad7593		Jun 20, 2023
solve-classic-0.31.5-dev0c+d53549ad7		Jun 20, 2023
solve-classic-0.31.5-dev02+b65f8712e		May 03, 2023
solve-classic-0.31.5-dev01+75e0f28ea		May 01, 2023
solve-classic-0.31.5		Apr 30, 2023
solve-classic-0.31.4-dev01+3caf83203		Apr 29, 2023
solve-classic-0.31.4		Apr 29, 2023
solve-classic-0.31.3		Apr 19, 2023
solve-classic-0.31.2		Apr 18, 2023
solve-classic-0.31.1-dev02+0cd8a1ae6		Feb 15, 2023
solve-classic-0.31.1-dev01+f8b39929b		Feb 14, 2023
solve-classic-0.31.1		Feb 14, 2023
solve-classic-0.31.0		Feb 13, 2023
0.30.x	solve-classic-0.30.5		Feb 01, 2023
solve-classic-0.30.4		Nov 20, 2022
solve-classic-0.30.3-dev0a+69949374d		Nov 20, 2022
solve-classic-0.30.3		Oct 12, 2022
solve-classic-0.30.2-dev0f+259d7b5b		Oct 12, 2022
solve-classic-0.30.2-dev08+5b060658		Oct 12, 2022
solve-classic-0.30.2		Sep 26, 2022
solve-classic-0.30.1		Sep 26, 2022
solve-classic-0.30.0-dev01+725eae35		Sep 26, 2022
solve-classic-0.30.0		Sep 23, 2022
0.20.x	solve-classic-0.20.9-dev0g+63540268		Jul 06, 2022
solve-classic-0.20.9-dev0c+bc6d9512		Jul 06, 2022
solve-classic-0.20.9-dev0a+8e9a240b		Jun 22, 2022
solve-classic-0.20.9-dev03+3250bb16		Jun 20, 2022
solve-classic-0.20.9-dev02+01edbfee		Jun 19, 2022
solve-classic-0.20.9-dev01+ada92962		Jun 16, 2022
solve-classic-0.20.9		Jun 14, 2022
solve-classic-0.20.7		Jun 02, 2022
solve-classic-0.20.4		Nov 06, 2021
solve-classic-0.20.3		Nov 05, 2021
solve-classic-0.20.2-dev07+51892bb0		Nov 05, 2021
solve-classic-0.20.2		Oct 18, 2021
solve-classic-0.20.1		Sep 06, 2021
solve-classic-0.20.0		Aug 30, 2021
0.19.x	solve-classic-0.19.0-dev2h+f6956cce		Aug 27, 2021
solve-classic-0.19.0		Aug 09, 2021
0.18.x	solve-classic-0.18.2-dev11+a1bd2a91		Aug 09, 2021
solve-classic-0.18.2-dev0z+13957e4e		Aug 06, 2021
solve-classic-0.18.2		Jul 15, 2021
solve-classic-0.18.1-dev05+178b1e2d		Jul 14, 2021
solve-classic-0.18.1		Jun 28, 2021
solve-classic-0.18.0		Jun 28, 2021
0.17.x	solve-classic-0.17.4-dev1q+a89f03d9		Jun 25, 2021
solve-classic-0.17.4-dev1d+a1160f82		Jun 21, 2021
solve-classic-0.17.4-dev0j+7e9a6f28		Jun 16, 2021
solve-classic-0.17.4-dev09+485a46b2		Jun 15, 2021
solve-classic-0.17.4		May 18, 2021
solve-classic-0.17.3-dev0a+b6708d58		Jun 15, 2021
solve-classic-0.17.3-dev08+7cca0c42		Jun 15, 2021
solve-classic-0.17.3		May 18, 2021
solve-classic-0.17.2-dev03+43981b51		May 17, 2021
solve-classic-0.17.2		May 15, 2021
solve-classic-0.17.1-dev1o+35e72985		May 15, 2021
solve-classic-0.17.1-dev18+089dd410		Apr 22, 2021
solve-classic-0.17.1-dev0z+70805b63		Apr 20, 2021
solve-classic-0.17.1-dev0w+54dd0dd0		Apr 19, 2021
solve-classic-0.17.1-dev0v+25724c0c		Apr 19, 2021
solve-classic-0.17.1-dev03+67bb5e23		Apr 01, 2021
solve-classic-0.17.1		Mar 15, 2021
solve-classic-0.17.0		Mar 14, 2021
0.16.x	solve-classic-0.16.1-dev4z+7e0f0041		Mar 14, 2021
solve-classic-0.16.1-dev4u+b2f05e44		Mar 13, 2021
solve-classic-0.16.1-dev4o+a2fea905		Mar 13, 2021
solve-classic-0.16.1		Jan 19, 2021
solve-classic-0.16.0		Jan 17, 2021
0.15.x	solve-classic-0.15.2		Dec 17, 2020
solve-classic-0.15.0		Dec 07, 2020
0.14.x	solve-classic-0.14.11		Oct 27, 2020
0.13.x	solve-classic-0.13.0		Sep 24, 2020
0.12.x	solve-classic-0.12.1		Sep 17, 2020
solve-classic-0.12.0		Sep 16, 2020
0.11.x	solve-classic-0.11.5		Sep 11, 2020
solve-classic-0.11.4		Sep 11, 2020
solve-classic-0.11.3		Sep 10, 2020
solve-classic-0.11.2		Aug 31, 2020
solve-classic-0.11.1		Jul 07, 2020
solve-classic-0.11.0		Jul 02, 2020
0.10.x	solve-classic-0.10.2		Jun 13, 2020

Version

Vulnerabilities

Updated

0.31.x

solve-classic-0.31.13

Aug 25, 2023

solve-classic-0.31.12

Aug 18, 2023

solve-classic-0.31.11

Jul 19, 2023

solve-classic-0.31.10

Jul 12, 2023

solve-classic-0.31.9

Jul 08, 2023

solve-classic-0.31.8

Jul 08, 2023

solve-classic-0.31.7

Jul 07, 2023

solve-classic-0.31.5-dev0m+0c07eb350

Jul 07, 2023

solve-classic-0.31.5-dev0f+5a2ad7593

Jun 20, 2023

solve-classic-0.31.5-dev0c+d53549ad7

Jun 20, 2023

solve-classic-0.31.5-dev02+b65f8712e

May 03, 2023

solve-classic-0.31.5-dev01+75e0f28ea

May 01, 2023

solve-classic-0.31.5

Apr 30, 2023

solve-classic-0.31.4-dev01+3caf83203

Apr 29, 2023

solve-classic-0.31.4

Apr 29, 2023

solve-classic-0.31.3

Apr 19, 2023

solve-classic-0.31.2

Apr 18, 2023

solve-classic-0.31.1-dev02+0cd8a1ae6

Feb 15, 2023

solve-classic-0.31.1-dev01+f8b39929b

Feb 14, 2023

solve-classic-0.31.1

Feb 14, 2023

solve-classic-0.31.0

Feb 13, 2023

0.30.x

solve-classic-0.30.5

Feb 01, 2023

solve-classic-0.30.4

Nov 20, 2022

solve-classic-0.30.3-dev0a+69949374d

Nov 20, 2022

solve-classic-0.30.3

Oct 12, 2022

solve-classic-0.30.2-dev0f+259d7b5b

Oct 12, 2022

solve-classic-0.30.2-dev08+5b060658

Oct 12, 2022

solve-classic-0.30.2

Sep 26, 2022

solve-classic-0.30.1

Sep 26, 2022

solve-classic-0.30.0-dev01+725eae35

Sep 26, 2022

solve-classic-0.30.0

Sep 23, 2022

0.20.x

solve-classic-0.20.9-dev0g+63540268

Jul 06, 2022

solve-classic-0.20.9-dev0c+bc6d9512

Jul 06, 2022

solve-classic-0.20.9-dev0a+8e9a240b

Jun 22, 2022

solve-classic-0.20.9-dev03+3250bb16

Jun 20, 2022

solve-classic-0.20.9-dev02+01edbfee

Jun 19, 2022

solve-classic-0.20.9-dev01+ada92962

Jun 16, 2022

solve-classic-0.20.9

Jun 14, 2022

solve-classic-0.20.7

Jun 02, 2022

solve-classic-0.20.4

Nov 06, 2021

solve-classic-0.20.3

Nov 05, 2021

solve-classic-0.20.2-dev07+51892bb0

Nov 05, 2021

solve-classic-0.20.2

Oct 18, 2021

solve-classic-0.20.1

Sep 06, 2021

solve-classic-0.20.0

Aug 30, 2021

0.19.x

solve-classic-0.19.0-dev2h+f6956cce

Aug 27, 2021

solve-classic-0.19.0

Aug 09, 2021

0.18.x

solve-classic-0.18.2-dev11+a1bd2a91

Aug 09, 2021

solve-classic-0.18.2-dev0z+13957e4e

Aug 06, 2021

solve-classic-0.18.2

Jul 15, 2021

solve-classic-0.18.1-dev05+178b1e2d

Jul 14, 2021

solve-classic-0.18.1

Jun 28, 2021

solve-classic-0.18.0

Jun 28, 2021

0.17.x

solve-classic-0.17.4-dev1q+a89f03d9

Jun 25, 2021

solve-classic-0.17.4-dev1d+a1160f82

Jun 21, 2021

solve-classic-0.17.4-dev0j+7e9a6f28

Jun 16, 2021

solve-classic-0.17.4-dev09+485a46b2

Jun 15, 2021

solve-classic-0.17.4

May 18, 2021

solve-classic-0.17.3-dev0a+b6708d58

Jun 15, 2021

solve-classic-0.17.3-dev08+7cca0c42

Jun 15, 2021

solve-classic-0.17.3

May 18, 2021

solve-classic-0.17.2-dev03+43981b51

May 17, 2021

solve-classic-0.17.2

May 15, 2021

solve-classic-0.17.1-dev1o+35e72985

May 15, 2021

solve-classic-0.17.1-dev18+089dd410

Apr 22, 2021

solve-classic-0.17.1-dev0z+70805b63

Apr 20, 2021

solve-classic-0.17.1-dev0w+54dd0dd0

Apr 19, 2021

solve-classic-0.17.1-dev0v+25724c0c

Apr 19, 2021

solve-classic-0.17.1-dev03+67bb5e23

Apr 01, 2021

solve-classic-0.17.1

Mar 15, 2021

solve-classic-0.17.0

Mar 14, 2021

0.16.x

solve-classic-0.16.1-dev4z+7e0f0041

Mar 14, 2021

solve-classic-0.16.1-dev4u+b2f05e44

Mar 13, 2021

solve-classic-0.16.1-dev4o+a2fea905

Mar 13, 2021

solve-classic-0.16.1

Jan 19, 2021

solve-classic-0.16.0

Jan 17, 2021

0.15.x

solve-classic-0.15.2

Dec 17, 2020

solve-classic-0.15.0

Dec 07, 2020

0.14.x

solve-classic-0.14.11

Oct 27, 2020

0.13.x

solve-classic-0.13.0

Sep 24, 2020

0.12.x

solve-classic-0.12.1

Sep 17, 2020

solve-classic-0.12.0

Sep 16, 2020

0.11.x

solve-classic-0.11.5

Sep 11, 2020

solve-classic-0.11.4

Sep 11, 2020

solve-classic-0.11.3

Sep 10, 2020

solve-classic-0.11.2

Aug 31, 2020

solve-classic-0.11.1

Jul 07, 2020

solve-classic-0.11.0

Jul 02, 2020

0.10.x

solve-classic-0.10.2

Jun 13, 2020

How to add a dependency to Maven

Add the following it.unibo.tuprolog : solve-classic maven dependency to the pom.xml file with your favorite IDE (IntelliJ / Eclipse / Netbeans):

<dependency>
    <groupId>it.unibo.tuprolog</groupId>
    <artifactId>solve-classic</artifactId>
    <version>0.31.13</version>
</dependency>

How to add a dependency to Gradle

Gradle Groovy DSL: Add the following it.unibo.tuprolog : solve-classic gradle dependency to your build.gradle file:

implementation 'it.unibo.tuprolog:solve-classic:0.31.13'

Gradle Kotlin DSL: Add the following it.unibo.tuprolog : solve-classic gradle kotlin dependency to your build.gradle.kts file:

implementation("it.unibo.tuprolog:solve-classic:0.31.13")

How to add a dependency to SBT Scala

SBT Scala: Add the following it.unibo.tuprolog : solve-classic sbt scala dependency to your build.sbt file:

libraryDependencies += "it.unibo.tuprolog" % "solve-classic" % "0.31.13"

Dependencies from Group

core-metadata

@it.unibo.tuprolog

May 18, 2021

9 usages

93 stars

core-jvm

@it.unibo.tuprolog

Aug 25, 2023

9 usages

93 stars

core-js

@it.unibo.tuprolog

Aug 25, 2023

9 usages

93 stars

core

@it.unibo.tuprolog

Aug 25, 2023

9 usages

93 stars

solve-classic-jvm

@it.unibo.tuprolog

Aug 25, 2023

8 usages

93 stars

More Dependencies ❯

Discover Dependencies

common-event

@com.tencent.bk.devops.ci.common

Feb 22, 2023

10 usages

2.3k stars

fetch_sjs1_3.0.0-RC3

@io.laminext

May 08, 2021

2 usages

8 stars

dict-core

@io.github.suxil

Jul 01, 2021

2 usages

3 stars

trie4j

@com.github.takawitter

Jan 24, 2018

7 usages

152 stars

errai-validation

@org.jboss.errai

Aug 12, 2021

31 usages

274 stars

fujion-sandbox

@org.fujion

Jul 05, 2023

2 usages

0 stars

powsybl-sensitivity-api

@com.powsybl

Oct 16, 2020

17 usages

82 stars

pass-json-adapter

@org.dataconservancy.pass

Apr 14, 2021

6 usages

0 stars

helidon-bundles-config

@io.helidon.bundles

Jul 18, 2023

19 usages

3k stars

idml-jsoup_2.12

@io.idml

Apr 11, 2022

6 usages

42 stars

More Dependencies ❯