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

    Download test-solve-js JAR 0.12.0 with all dependencies


    "Multi-platform Prolog environment, in Kotlin"

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

    Test

    Artifact test-solve-js
    Group it.unibo.tuprolog
    Version 0.12.0
    Last update 16. September 2020
    Tags: platform prolog environment kotlin multi
    Organization not specified
    URL https://github.com/tuProlog/2p-kt
    License Apache-2.0
    Dependencies amount 5
    Dependencies kotlin-stdlib-common, solve-js, dsl-theory-js, kotlin-test-common, kotlin-test-annotations-common,
    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-js Show documentation

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

    0 downloads

    Source code of test-solve-js version 0.12.0

    META-INF
    META-INF.META-INF.MANIFEST.MF
    commonMain.it.unibo.tuprolog.solve
    commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.CustomTheories.kt
    commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.DummyInstances.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.TestAtomImpl.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.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.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.TestCut.kt
    commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestCutImpl.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.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.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.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.TestSolver.kt
    commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.TestSolverImpl.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.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.TestingAtomBuiltIn.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
    jsMain.it.unibo.tuprolog.solve
    jsMain.it.unibo.tuprolog.solve.jsMain.it.unibo.tuprolog.solve.TestUtils.kt




    © 2015 - 2025 Weber Informatics LLC | Privacy Policy