jar

it.unibo.tuprolog : test-solve-jvm

Maven & Gradle

Aug 25, 2023
86 stars

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

Table Of Contents

Latest Version

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

All Versions

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

Version Vulnerabilities Size Updated
0.31.x
0.30.x
0.20.x
0.19.x
0.18.x
0.17.x
0.16.x
0.15.x
0.14.x
0.13.x
0.12.x
0.11.x
0.10.x

View Java Class Source Code in JAR file

  1. Download JD-GUI to open JAR file and explore Java source code file (.class .java)
  2. 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]

Advertisement

Dependencies from Group

May 18, 2021
9 usages
86 stars
Aug 25, 2023
9 usages
86 stars
Aug 25, 2023
9 usages
86 stars
Aug 25, 2023
9 usages
86 stars
Aug 25, 2023
8 usages
86 stars

Discover Dependencies

Aug 25, 2023
86 stars
Aug 25, 2023
1 usages
86 stars
2p
Jun 20, 2023
86 stars
Jun 20, 2023
86 stars
Jun 20, 2023
86 stars
Nov 06, 2021
0 stars
Nov 06, 2021
0 stars