All Downloads are FREE. Search and download functionalities are using the official Maven repository.
  • Log In
  • Register

    • Download all versions of solve-jvm JAR files with all dependencies


    solve-jvm from group it.unibo.tuprolog (version 0.16.1-dev4z+7e0f0041)

    Resolution-agnostic API for logic solvers

    Group: it.unibo.tuprolog Artifact: solve-jvm
    Show documentation Show source 
    Download solve-jvm.jar (0.16.1-dev4z+7e0f0041)
     

    0 downloads
    Artifact solve-jvm
    Group it.unibo.tuprolog
    Version 0.16.1-dev4z+7e0f0041
    Last update 14. March 2021
    Tags: solvers resolution agnostic logic
    Organization not specified
    URL https://github.com/tuProlog/2p-kt
    License Apache-2.0
    Dependencies amount 6
    Dependencies kotlin-stdlib-jdk8, kotlin-stdlib-common, kotlin-reflect, core-jvm, unify-jvm, theory-jvm,
    There are maybe transitive dependencies!

    solve-jvm from group it.unibo.tuprolog (version 0.16.1-dev4u+b2f05e44)

    Resolution-agnostic API for logic solvers

    Group: it.unibo.tuprolog Artifact: solve-jvm
    Show documentation Show source 
    Download solve-jvm.jar (0.16.1-dev4u+b2f05e44)
     

    0 downloads
    Artifact solve-jvm
    Group it.unibo.tuprolog
    Version 0.16.1-dev4u+b2f05e44
    Last update 13. March 2021
    Tags: solvers resolution agnostic logic
    Organization not specified
    URL https://github.com/tuProlog/2p-kt
    License Apache-2.0
    Dependencies amount 6
    Dependencies kotlin-stdlib-jdk8, kotlin-stdlib-common, kotlin-reflect, core-jvm, unify-jvm, theory-jvm,
    There are maybe transitive dependencies!

    solve-jvm from group it.unibo.tuprolog (version 0.16.1-dev4o+a2fea905)

    Resolution-agnostic API for logic solvers

    Group: it.unibo.tuprolog Artifact: solve-jvm
    Show documentation Show source 
    Download solve-jvm.jar (0.16.1-dev4o+a2fea905)
     

    0 downloads
    Artifact solve-jvm
    Group it.unibo.tuprolog
    Version 0.16.1-dev4o+a2fea905
    Last update 13. March 2021
    Tags: solvers resolution agnostic logic
    Organization not specified
    URL https://github.com/tuProlog/2p-kt
    License Apache-2.0
    Dependencies amount 6
    Dependencies kotlin-stdlib-jdk8, kotlin-stdlib-common, kotlin-reflect, core-jvm, unify-jvm, theory-jvm,
    There are maybe transitive dependencies!

    solve-jvm from group it.unibo.tuprolog (version 0.16.1)

    Resolution-agnostic API for logic solvers

    Group: it.unibo.tuprolog Artifact: solve-jvm
    Show documentation Show source 
    Download solve-jvm.jar (0.16.1)
     

    0 downloads
    Artifact solve-jvm
    Group it.unibo.tuprolog
    Version 0.16.1
    Last update 19. January 2021
    Tags: platform prolog environment kotlin multi
    Organization not specified
    URL https://github.com/tuProlog/2p-kt
    License Apache-2.0
    Dependencies amount 6
    Dependencies kotlin-stdlib-jdk8, kotlin-stdlib-common, kotlin-reflect, core-jvm, unify-jvm, theory-jvm,
    There are maybe transitive dependencies!

    solve-jvm from group it.unibo.tuprolog (version 0.16.0)

    Resolution-agnostic API for logic solvers

    Group: it.unibo.tuprolog Artifact: solve-jvm
    Show documentation Show source 
    Download solve-jvm.jar (0.16.0)
     

    0 downloads
    Artifact solve-jvm
    Group it.unibo.tuprolog
    Version 0.16.0
    Last update 17. January 2021
    Tags: platform prolog environment kotlin multi
    Organization not specified
    URL https://github.com/tuProlog/2p-kt
    License Apache-2.0
    Dependencies amount 6
    Dependencies kotlin-stdlib-jdk8, kotlin-stdlib-common, kotlin-reflect, core-jvm, unify-jvm, theory-jvm,
    There are maybe transitive dependencies!

    solve-jvm from group it.unibo.tuprolog (version 0.15.2)

    Resolution-agnostic API for logic solvers

    Group: it.unibo.tuprolog Artifact: solve-jvm
    Show documentation Show source 
    Download solve-jvm.jar (0.15.2)
     

    0 downloads
    Artifact solve-jvm
    Group it.unibo.tuprolog
    Version 0.15.2
    Last update 17. December 2020
    Tags: platform prolog environment kotlin multi
    Organization not specified
    URL https://github.com/tuProlog/2p-kt
    License Apache-2.0
    Dependencies amount 6
    Dependencies kotlin-stdlib-jdk8, kotlin-stdlib-common, kotlin-reflect, core-jvm, unify-jvm, theory-jvm,
    There are maybe transitive dependencies!

    solve-jvm from group it.unibo.tuprolog (version 0.15.0)

    Resolution-agnostic API for logic solvers

    Group: it.unibo.tuprolog Artifact: solve-jvm
    Show documentation Show source 
    Download solve-jvm.jar (0.15.0)
     

    0 downloads
    Artifact solve-jvm
    Group it.unibo.tuprolog
    Version 0.15.0
    Last update 07. December 2020
    Tags: platform prolog environment kotlin multi
    Organization not specified
    URL https://github.com/tuProlog/2p-kt
    License Apache-2.0
    Dependencies amount 6
    Dependencies kotlin-stdlib-jdk8, kotlin-stdlib-common, kotlin-reflect, core-jvm, unify-jvm, theory-jvm,
    There are maybe transitive dependencies!

    solve-jvm from group it.unibo.tuprolog (version 0.14.11)

    Resolution-agnostic API for logic solvers

    Group: it.unibo.tuprolog Artifact: solve-jvm
    Show documentation Show source 
    Download solve-jvm.jar (0.14.11)
     

    0 downloads
    Artifact solve-jvm
    Group it.unibo.tuprolog
    Version 0.14.11
    Last update 27. October 2020
    Tags: platform prolog environment kotlin multi
    Organization not specified
    URL https://github.com/tuProlog/2p-kt
    License Apache-2.0
    Dependencies amount 6
    Dependencies kotlin-stdlib-jdk8, kotlin-stdlib-common, kotlin-reflect, core-jvm, unify-jvm, theory-jvm,
    There are maybe transitive dependencies!

    solve-jvm from group it.unibo.tuprolog (version 0.13.0)

    Resolution-agnostic API for logic solvers

    Group: it.unibo.tuprolog Artifact: solve-jvm
    Show documentation Show source 
    Download solve-jvm.jar (0.13.0)
     

    0 downloads
    Artifact solve-jvm
    Group it.unibo.tuprolog
    Version 0.13.0
    Last update 24. September 2020
    Tags: platform prolog environment kotlin multi
    Organization not specified
    URL https://github.com/tuProlog/2p-kt
    License Apache-2.0
    Dependencies amount 6
    Dependencies kotlin-stdlib-jdk8, kotlin-stdlib-common, kotlin-reflect, core-jvm, unify-jvm, theory-jvm,
    There are maybe transitive dependencies!

    solve-jvm from group it.unibo.tuprolog (version 0.12.1)

    Resolution-agnostic API for logic solvers

    Group: it.unibo.tuprolog Artifact: solve-jvm
    Show documentation Show source 
    Download solve-jvm.jar (0.12.1)
     

    0 downloads
    Artifact solve-jvm
    Group it.unibo.tuprolog
    Version 0.12.1
    Last update 17. September 2020
    Tags: platform prolog environment kotlin multi
    Organization not specified
    URL https://github.com/tuProlog/2p-kt
    License Apache-2.0
    Dependencies amount 6
    Dependencies kotlin-stdlib-jdk8, kotlin-stdlib-common, kotlin-reflect, core-jvm, unify-jvm, theory-jvm,
    There are maybe transitive dependencies!


    Page 10 from 11 (items total 108)


    © 2015 - 2025 Weber Informatics LLC | Privacy Policy