jar

it.unibo.tuprolog : dsl-solve

Maven & Gradle

Aug 25, 2023

1 usages

86 stars

2P-Kt, DSL-Solve Module · Kotlin DSL for logic programming, enriched with unification, clause storage, and resolution facilities

Homepage Documentation Readme Maven Central

Table Of Contents

Latest Version
All Versions
View Java Class Source Code in JAR file

Latest Version

Download it.unibo.tuprolog : dsl-solve JAR file - Latest Versions:

Latest Stable: 0.31.13.jar

All Versions

Download it.unibo.tuprolog : dsl-solve JAR file - All Versions:

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

Version

Vulnerabilities

Size

Updated

0.31.x

dsl-solve-0.31.13.jar

10.76 KB

Aug 25, 2023

dsl-solve-0.31.12.jar

10.76 KB

Aug 18, 2023

dsl-solve-0.31.11.jar

10.76 KB

Jul 19, 2023

dsl-solve-0.31.10.jar

10.76 KB

Jul 12, 2023

dsl-solve-0.31.9.jar

10.76 KB

Jul 08, 2023

dsl-solve-0.31.8.jar

10.76 KB

Jul 08, 2023

dsl-solve-0.31.7.jar

10.76 KB

Jul 07, 2023

dsl-solve-0.31.5-dev0m+0c07eb350.jar

10.76 KB

Jul 07, 2023

dsl-solve-0.31.5-dev0f+5a2ad7593.jar

10.76 KB

Jun 20, 2023

dsl-solve-0.31.5-dev0c+d53549ad7.jar

10.76 KB

Jun 20, 2023

dsl-solve-0.31.5-dev02+b65f8712e.jar

10.76 KB

May 03, 2023

dsl-solve-0.31.5-dev01+75e0f28ea.jar

10.76 KB

May 01, 2023

dsl-solve-0.31.5.jar

10.76 KB

Apr 30, 2023

dsl-solve-0.31.4-dev01+3caf83203.jar

10.76 KB

Apr 29, 2023

dsl-solve-0.31.4.jar

10.76 KB

Apr 29, 2023

dsl-solve-0.31.3.jar

10.76 KB

Apr 19, 2023

dsl-solve-0.31.2.jar

10.76 KB

Apr 18, 2023

dsl-solve-0.31.1-dev02+0cd8a1ae6.jar

10.76 KB

Feb 15, 2023

dsl-solve-0.31.1-dev01+f8b39929b.jar

10.76 KB

Feb 14, 2023

dsl-solve-0.31.1.jar

10.76 KB

Feb 14, 2023

dsl-solve-0.31.0.jar

10.76 KB

Feb 13, 2023

0.30.x

dsl-solve-0.30.5.jar

10.75 KB

Feb 01, 2023

dsl-solve-0.30.4.jar

10.64 KB

Nov 20, 2022

dsl-solve-0.30.3-dev0a+69949374d.jar

10.64 KB

Nov 20, 2022

dsl-solve-0.30.3.jar

10.64 KB

Oct 12, 2022

dsl-solve-0.30.2-dev0f+259d7b5b.jar

10.64 KB

Oct 12, 2022

dsl-solve-0.30.2-dev08+5b060658.jar

10.64 KB

Oct 12, 2022

dsl-solve-0.30.2.jar

10.64 KB

Sep 26, 2022

dsl-solve-0.30.1.jar

10.64 KB

Sep 26, 2022

dsl-solve-0.30.0-dev01+725eae35.jar

10.64 KB

Sep 26, 2022

dsl-solve-0.30.0.jar

10.64 KB

Sep 23, 2022

0.20.x

dsl-solve-0.20.9-dev0g+63540268.jar

10.38 KB

Jul 06, 2022

dsl-solve-0.20.9-dev0c+bc6d9512.jar

10.38 KB

Jul 06, 2022

dsl-solve-0.20.9-dev0a+8e9a240b.jar

10.38 KB

Jun 22, 2022

dsl-solve-0.20.9-dev03+3250bb16.jar

10.38 KB

Jun 20, 2022

dsl-solve-0.20.9-dev02+01edbfee.jar

10.38 KB

Jun 19, 2022

dsl-solve-0.20.9-dev01+ada92962.jar

10.38 KB

Jun 16, 2022

dsl-solve-0.20.9.jar

10.38 KB

Jun 14, 2022

dsl-solve-0.20.7.jar

10.40 KB

Jun 02, 2022

dsl-solve-0.20.4.jar

8.25 KB

Nov 06, 2021

dsl-solve-0.20.3.jar

8.27 KB

Nov 05, 2021

dsl-solve-0.20.2-dev07+51892bb0.jar

8.27 KB

Nov 05, 2021

dsl-solve-0.20.2.jar

8.27 KB

Oct 18, 2021

dsl-solve-0.20.1.jar

8.27 KB

Sep 06, 2021

dsl-solve-0.20.0.jar

8.27 KB

Aug 30, 2021

0.19.x

dsl-solve-0.19.0-dev2h+f6956cce.jar

8.27 KB

Aug 27, 2021

dsl-solve-0.19.0.jar

8.27 KB

Aug 09, 2021

0.18.x

dsl-solve-0.18.2-dev11+a1bd2a91.jar

8.27 KB

Aug 09, 2021

dsl-solve-0.18.2-dev0z+13957e4e.jar

8.27 KB

Aug 06, 2021

dsl-solve-0.18.2.jar

8.05 KB

Jul 15, 2021

dsl-solve-0.18.1-dev05+178b1e2d.jar

8.05 KB

Jul 14, 2021

dsl-solve-0.18.1.jar

8.05 KB

Jun 28, 2021

dsl-solve-0.18.0.jar

8.05 KB

Jun 28, 2021

0.17.x

dsl-solve-0.17.4-dev1q+a89f03d9.jar

8.05 KB

Jun 25, 2021

dsl-solve-0.17.4-dev1d+a1160f82.jar

8.05 KB

Jun 21, 2021

dsl-solve-0.17.4-dev0j+7e9a6f28.jar

8.05 KB

Jun 16, 2021

dsl-solve-0.17.4-dev09+485a46b2.jar

8.05 KB

Jun 15, 2021

dsl-solve-0.17.4.jar

8.05 KB

May 18, 2021

dsl-solve-0.17.3-dev0a+b6708d58.jar

8.05 KB

Jun 15, 2021

dsl-solve-0.17.3-dev08+7cca0c42.jar

8.05 KB

Jun 15, 2021

dsl-solve-0.17.3.jar

8.05 KB

May 18, 2021

dsl-solve-0.17.2-dev03+43981b51.jar

8.05 KB

May 17, 2021

dsl-solve-0.17.2.jar

8.05 KB

May 15, 2021

dsl-solve-0.17.1-dev1o+35e72985.jar

8.05 KB

May 15, 2021

dsl-solve-0.17.1-dev18+089dd410.jar

8.05 KB

Apr 22, 2021

dsl-solve-0.17.1-dev0z+70805b63.jar

8.05 KB

Apr 20, 2021

dsl-solve-0.17.1-dev0w+54dd0dd0.jar

8.05 KB

Apr 19, 2021

dsl-solve-0.17.1-dev0v+25724c0c.jar

8.05 KB

Apr 19, 2021

dsl-solve-0.17.1-dev03+67bb5e23.jar

8 KB

Apr 01, 2021

dsl-solve-0.17.1.jar

8 KB

Mar 15, 2021

dsl-solve-0.17.0.jar

8 KB

Mar 14, 2021

0.16.x

dsl-solve-0.16.1-dev4z+7e0f0041.jar

8 KB

Mar 14, 2021

dsl-solve-0.16.1-dev4u+b2f05e44.jar

8 KB

Mar 13, 2021

dsl-solve-0.16.1-dev4o+a2fea905.jar

8 KB

Mar 13, 2021

dsl-solve-0.16.1.jar

7.78 KB

Jan 19, 2021

dsl-solve-0.16.0.jar

7.78 KB

Jan 17, 2021

0.15.x

dsl-solve-0.15.2.jar

7.61 KB

Dec 17, 2020

dsl-solve-0.15.0.jar

7.59 KB

Dec 07, 2020

0.14.x

dsl-solve-0.14.11.jar

Oct 27, 2020

0.13.x

dsl-solve-0.13.0.jar

Sep 24, 2020

0.12.x

dsl-solve-0.12.1.jar

Sep 17, 2020

dsl-solve-0.12.0.jar

Sep 16, 2020

0.11.x

Sep 11, 2020

Sep 11, 2020

Sep 10, 2020

Aug 31, 2020

View Java Class Source Code in JAR file

Download JD-GUI to open JAR file and explore Java source code file (.class .java)
Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window dsl-solve-0.31.13.jar file.
Once you open a JAR file, all the java classes in the JAR file will be displayed.