Download solve-classic.jar - @it.unibo.tuprolog

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

Latest Version

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

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

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

Version

Vulnerabilities

Size

Updated

0.31.x

solve-classic-0.31.13.jar

15.64 KB

Aug 25, 2023

solve-classic-0.31.12.jar

15.64 KB

Aug 18, 2023

solve-classic-0.31.11.jar

15.64 KB

Jul 19, 2023

solve-classic-0.31.10.jar

15.64 KB

Jul 12, 2023

solve-classic-0.31.9.jar

15.64 KB

Jul 08, 2023

solve-classic-0.31.8.jar

15.64 KB

Jul 08, 2023

solve-classic-0.31.7.jar

15.64 KB

Jul 07, 2023

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

15.64 KB

Jul 07, 2023

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

15.64 KB

Jun 20, 2023

solve-classic-0.31.5-dev0c+d53549ad7.jar

15.64 KB

Jun 20, 2023

solve-classic-0.31.5-dev02+b65f8712e.jar

15.64 KB

May 03, 2023

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

15.64 KB

May 01, 2023

solve-classic-0.31.5.jar

15.64 KB

Apr 30, 2023

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

15.64 KB

Apr 29, 2023

solve-classic-0.31.4.jar

15.64 KB

Apr 29, 2023

solve-classic-0.31.3.jar

15.64 KB

Apr 19, 2023

solve-classic-0.31.2.jar

15.64 KB

Apr 18, 2023

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

15.64 KB

Feb 15, 2023

solve-classic-0.31.1-dev01+f8b39929b.jar

15.64 KB

Feb 14, 2023

solve-classic-0.31.1.jar

15.64 KB

Feb 14, 2023

solve-classic-0.31.0.jar

15.64 KB

Feb 13, 2023

0.30.x

solve-classic-0.30.5.jar

15.62 KB

Feb 01, 2023

solve-classic-0.30.4.jar

15.89 KB

Nov 20, 2022

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

15.79 KB

Nov 20, 2022

solve-classic-0.30.3.jar

15.79 KB

Oct 12, 2022

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

15.77 KB

Oct 12, 2022

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

15.77 KB

Oct 12, 2022

solve-classic-0.30.2.jar

15.77 KB

Sep 26, 2022

solve-classic-0.30.1.jar

15.77 KB

Sep 26, 2022

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

16.15 KB

Sep 26, 2022

solve-classic-0.30.0.jar

16.15 KB

Sep 23, 2022

0.20.x

solve-classic-0.20.9-dev0g+63540268.jar

16.04 KB

Jul 06, 2022

solve-classic-0.20.9-dev0c+bc6d9512.jar

16.04 KB

Jul 06, 2022

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

16.04 KB

Jun 22, 2022

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

16.04 KB

Jun 20, 2022

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

16.04 KB

Jun 19, 2022

solve-classic-0.20.9-dev01+ada92962.jar

16.04 KB

Jun 16, 2022

solve-classic-0.20.9.jar

16.04 KB

Jun 14, 2022

solve-classic-0.20.7.jar

16.20 KB

Jun 02, 2022

solve-classic-0.20.4.jar

25.99 KB

Nov 06, 2021

solve-classic-0.20.3.jar

25.99 KB

Nov 05, 2021

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

25.99 KB

Nov 05, 2021

solve-classic-0.20.2.jar

25.99 KB

Oct 18, 2021

solve-classic-0.20.1.jar

25.99 KB

Sep 06, 2021

solve-classic-0.20.0.jar

25.99 KB

Aug 30, 2021

0.19.x

solve-classic-0.19.0-dev2h+f6956cce.jar

25.99 KB

Aug 27, 2021

solve-classic-0.19.0.jar

25.98 KB

Aug 09, 2021

0.18.x

solve-classic-0.18.2-dev11+a1bd2a91.jar

25.98 KB

Aug 09, 2021

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

25.98 KB

Aug 06, 2021

solve-classic-0.18.2.jar

26.16 KB

Jul 15, 2021

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

26.16 KB

Jul 14, 2021

solve-classic-0.18.1.jar

26.16 KB

Jun 28, 2021

solve-classic-0.18.0.jar

26.16 KB

Jun 28, 2021

0.17.x

solve-classic-0.17.4-dev1q+a89f03d9.jar

26.16 KB

Jun 25, 2021

solve-classic-0.17.4-dev1d+a1160f82.jar

26.14 KB

Jun 21, 2021

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

25.95 KB

Jun 16, 2021

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

25.95 KB

Jun 15, 2021

solve-classic-0.17.4.jar

25.95 KB

May 18, 2021

solve-classic-0.17.3-dev0a+b6708d58.jar

25.95 KB

Jun 15, 2021

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

25.95 KB

Jun 15, 2021

solve-classic-0.17.3.jar

25.95 KB

May 18, 2021

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

25.95 KB

May 17, 2021

solve-classic-0.17.2.jar

25.95 KB

May 15, 2021

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

25.95 KB

May 15, 2021

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

25.95 KB

Apr 22, 2021

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

25.95 KB

Apr 20, 2021

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

25.91 KB

Apr 19, 2021

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

25.91 KB

Apr 19, 2021

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

25.86 KB

Apr 01, 2021

solve-classic-0.17.1.jar

25.86 KB

Mar 15, 2021

solve-classic-0.17.0.jar

25.86 KB

Mar 14, 2021

0.16.x

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

25.86 KB

Mar 14, 2021

solve-classic-0.16.1-dev4u+b2f05e44.jar

25.86 KB

Mar 13, 2021

solve-classic-0.16.1-dev4o+a2fea905.jar

25.86 KB

Mar 13, 2021

solve-classic-0.16.1.jar

22.55 KB

Jan 19, 2021

solve-classic-0.16.0.jar

22.55 KB

Jan 17, 2021

0.15.x

solve-classic-0.15.2.jar

22.33 KB

Dec 17, 2020

solve-classic-0.15.0.jar

22.33 KB

Dec 07, 2020

0.14.x

solve-classic-0.14.11.jar

Oct 27, 2020

0.13.x

solve-classic-0.13.0.jar

Sep 24, 2020

0.12.x

solve-classic-0.12.1.jar

Sep 17, 2020

solve-classic-0.12.0.jar

Sep 16, 2020

0.11.x

solve-classic-0.11.5.jar

Sep 11, 2020

solve-classic-0.11.4.jar

Sep 11, 2020

solve-classic-0.11.3.jar

Sep 10, 2020

solve-classic-0.11.2.jar

Aug 31, 2020

solve-classic-0.11.1.jar

Jul 07, 2020

solve-classic-0.11.0.jar

Jul 02, 2020

0.10.x

solve-classic-0.10.2.jar

Jun 13, 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 solve-classic-0.31.13.jar file.
Once you open a JAR file, all the java classes in the JAR file will be displayed.

it.unibo.tuprolog : solve-classic

Maven & Gradle

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

Latest Version

All Versions

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

View Java Class Source Code in JAR file