Download test-solve-jvm.jar - @it.unibo.tuprolog

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

├─ it.unibo.tuprolog.solve.BigListOptions.class - [JAR]

├─ it.unibo.tuprolog.solve.CustomTheories.class - [JAR]

├─ it.unibo.tuprolog.solve.DirectiveTestsUtils.class - [JAR]

├─ it.unibo.tuprolog.solve.DummyInstances.class - [JAR]

├─ it.unibo.tuprolog.solve.Expectations.class - [JAR]

├─ it.unibo.tuprolog.solve.PrologStandardExampleTheories.class - [JAR]

├─ it.unibo.tuprolog.solve.SolverTest.class - [JAR]

├─ it.unibo.tuprolog.solve.TestAbolish.class - [JAR]

├─ it.unibo.tuprolog.solve.TestAbolishImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestAnd.class - [JAR]

├─ it.unibo.tuprolog.solve.TestAndImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestArg.class - [JAR]

├─ it.unibo.tuprolog.solve.TestArgImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestArith.class - [JAR]

├─ it.unibo.tuprolog.solve.TestArithImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestAssertA.class - [JAR]

├─ it.unibo.tuprolog.solve.TestAssertAImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestAssertZ.class - [JAR]

├─ it.unibo.tuprolog.solve.TestAssertZImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestAtom.class - [JAR]

├─ it.unibo.tuprolog.solve.TestAtomChars.class - [JAR]

├─ it.unibo.tuprolog.solve.TestAtomCharsImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestAtomCodes.class - [JAR]

├─ it.unibo.tuprolog.solve.TestAtomCodesImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestAtomConcat.class - [JAR]

├─ it.unibo.tuprolog.solve.TestAtomConcatImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestAtomImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestAtomLength.class - [JAR]

├─ it.unibo.tuprolog.solve.TestAtomLengthImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestAtomic.class - [JAR]

├─ it.unibo.tuprolog.solve.TestAtomicImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestBagOf.class - [JAR]

├─ it.unibo.tuprolog.solve.TestBagOfImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestBigList.class - [JAR]

├─ it.unibo.tuprolog.solve.TestBigListImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestCall.class - [JAR]

├─ it.unibo.tuprolog.solve.TestCallImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestCatchAndThrow.class - [JAR]

├─ it.unibo.tuprolog.solve.TestCatchAndThrowImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestCharCode.class - [JAR]

├─ it.unibo.tuprolog.solve.TestCharCodeImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestClause.class - [JAR]

├─ it.unibo.tuprolog.solve.TestClauseImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestCompound.class - [JAR]

├─ it.unibo.tuprolog.solve.TestCompoundImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestCopyTerm.class - [JAR]

├─ it.unibo.tuprolog.solve.TestCopyTermImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestCustomData.class - [JAR]

├─ it.unibo.tuprolog.solve.TestCustomDataImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestCut.class - [JAR]

├─ it.unibo.tuprolog.solve.TestCutImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestDirectives.class - [JAR]

├─ it.unibo.tuprolog.solve.TestDirectivesImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestFail.class - [JAR]

├─ it.unibo.tuprolog.solve.TestFailImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestFindAll.class - [JAR]

├─ it.unibo.tuprolog.solve.TestFindAllImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestFlags.class - [JAR]

├─ it.unibo.tuprolog.solve.TestFlagsImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestFloat.class - [JAR]

├─ it.unibo.tuprolog.solve.TestFloatImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestFunctor.class - [JAR]

├─ it.unibo.tuprolog.solve.TestFunctorImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestIfThen.class - [JAR]

├─ it.unibo.tuprolog.solve.TestIfThenElse.class - [JAR]

├─ it.unibo.tuprolog.solve.TestIfThenElseImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestIfThenImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestInteger.class - [JAR]

├─ it.unibo.tuprolog.solve.TestIntegerImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestIs.class - [JAR]

├─ it.unibo.tuprolog.solve.TestIsImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestJavaConstruction.class - [JAR]

├─ it.unibo.tuprolog.solve.TestNonVar.class - [JAR]

├─ it.unibo.tuprolog.solve.TestNonVarImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestNotProvable.class - [JAR]

├─ it.unibo.tuprolog.solve.TestNotProvableImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestNotUnify.class - [JAR]

├─ it.unibo.tuprolog.solve.TestNotUnifyImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestNumber.class - [JAR]

├─ it.unibo.tuprolog.solve.TestNumberChars.class - [JAR]

├─ it.unibo.tuprolog.solve.TestNumberCharsImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestNumberCodes.class - [JAR]

├─ it.unibo.tuprolog.solve.TestNumberCodesImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestNumberImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestOnce.class - [JAR]

├─ it.unibo.tuprolog.solve.TestOnceImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestOr.class - [JAR]

├─ it.unibo.tuprolog.solve.TestOrImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestRecursion.class - [JAR]

├─ it.unibo.tuprolog.solve.TestRecursionImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestRepeat.class - [JAR]

├─ it.unibo.tuprolog.solve.TestRepeatImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestRetract.class - [JAR]

├─ it.unibo.tuprolog.solve.TestRetractImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestSetOf.class - [JAR]

├─ it.unibo.tuprolog.solve.TestSetOfImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestSolutionPresentation.class - [JAR]

├─ it.unibo.tuprolog.solve.TestSolutionPresentationImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestSolver.class - [JAR]

├─ it.unibo.tuprolog.solve.TestSolverConstruction.class - [JAR]

├─ it.unibo.tuprolog.solve.TestSolverConstructionImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestSolverImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestStackTrace.class - [JAR]

├─ it.unibo.tuprolog.solve.TestStackTraceImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestStaticFactory.class - [JAR]

├─ it.unibo.tuprolog.solve.TestStaticFactoryImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestSubAtom.class - [JAR]

├─ it.unibo.tuprolog.solve.TestSubAtomImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestSubstitutions.class - [JAR]

├─ it.unibo.tuprolog.solve.TestSubstitutionsImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestTerm.class - [JAR]

├─ it.unibo.tuprolog.solve.TestTermImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestTimeout.class - [JAR]

├─ it.unibo.tuprolog.solve.TestTimeoutImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestTrue.class - [JAR]

├─ it.unibo.tuprolog.solve.TestTrueImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestUnify.class - [JAR]

├─ it.unibo.tuprolog.solve.TestUnifyImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.TestUtils.class - [JAR]

├─ it.unibo.tuprolog.solve.TestUtilsKt.class - [JAR]

├─ it.unibo.tuprolog.solve.TestingClauseTheories.class - [JAR]

├─ it.unibo.tuprolog.solve.TestingTermOperators.class - [JAR]

├─ it.unibo.tuprolog.solve.TimeRelatedTheories.class - [JAR]

it.unibo.tuprolog : test-solve-jvm

Maven & Gradle

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

Latest Version

All Versions

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

View Java Class Source Code in JAR file