All Downloads are FREE. Search and download functionalities are using the official Maven repository.
Search JAR files by class name

Download test-solve JAR 1.0.0 with all dependencies


Common testing facilities for 2P-Kt-based logic solvers

Files of the artifact test-solve version 1.0.0 from the group it.unibo.tuprolog.

Artifact test-solve
Group it.unibo.tuprolog
Version 1.0.0
Last update 30. March 2024
Tags: based common testing logic facilities solvers
Organization not specified
URL https://github.com/tuProlog/2p-kt
License Apache-2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
There is a newer version: 1.0.4
Show newest version
Show more of this group  Show more artifacts with this name
Show all versions of test-solve Show documentation

Please rate this JAR file. Is it a good library?

0 downloads

Source code of test-solve version 1.0.0

META-INF
META-INF.META-INF.MANIFEST.MF
commonMain.it.unibo.tuprolog.solve
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.BigListOptions.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.CustomTheories.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.DirectiveTestsUtils.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.DummyInstances.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.Expectations.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.PrologStandardExampleTheories.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.SolverTest.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestAbolish.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestAbolishImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestAnd.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestAndImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestArg.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestArgImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestArith.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestArithImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestAssertA.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestAssertAImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestAssertZ.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestAssertZImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestAtom.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestAtomChars.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestAtomCharsImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestAtomCodes.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestAtomCodesImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestAtomConcat.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestAtomConcatImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestAtomImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestAtomLength.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestAtomLengthImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestAtomic.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestAtomicImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestBagOf.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestBagOfImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestBigList.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestBigListImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestCall.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestCallImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestCatchAndThrow.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestCatchAndThrowImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestCharCode.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestCharCodeImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestClause.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestClauseImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestCompound.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestCompoundImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestCopyTerm.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestCopyTermImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestCustomData.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestCustomDataImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestCut.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestCutImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestDirectives.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestDirectivesImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestFail.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestFailImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestFindAll.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestFindAllImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestFlags.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestFlagsImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestFloat.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestFloatImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestFunctor.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestFunctorImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestIfThen.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestIfThenElse.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestIfThenElseImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestIfThenImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestInteger.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestIntegerImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestIs.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestIsImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestNonVar.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestNonVarImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestNotProvable.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestNotProvableImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestNotUnify.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestNotUnifyImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestNumber.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestNumberChars.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestNumberCharsImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestNumberCodes.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestNumberCodesImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestNumberImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestOnce.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestOnceImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestOr.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestOrImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestRecursion.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestRecursionImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestRepeat.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestRepeatImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestRetract.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestRetractImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestSetOf.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestSetOfImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestSolutionPresentation.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestSolutionPresentationImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestSolver.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestSolverConstruction.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestSolverConstructionImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestSolverImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestStackTrace.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestStackTraceImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestStaticFactory.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestStaticFactoryImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestSubAtom.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestSubAtomImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestSubstitutions.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestSubstitutionsImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestTerm.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestTermImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestTimeout.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestTimeoutImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestTrue.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestTrueImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestUnify.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestUnifyImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestUtils.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestingClauseTheories.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestingTermOperators.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TimeRelatedTheories.kt




© 2015 - 2024 Weber Informatics LLC | Privacy Policy