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.12.0)

    Resolution-agnostic API for logic solvers

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

    0 downloads
    Artifact solve-jvm
    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 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.11.5)

    Resolution-agnostic API for logic solvers

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

    0 downloads
    Artifact solve-jvm
    Group it.unibo.tuprolog
    Version 0.11.5
    Last update 11. 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.11.4)

    Resolution-agnostic API for logic solvers

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

    0 downloads
    Artifact solve-jvm
    Group it.unibo.tuprolog
    Version 0.11.4
    Last update 11. 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.11.3)

    Resolution-agnostic API for logic solvers

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

    0 downloads
    Artifact solve-jvm
    Group it.unibo.tuprolog
    Version 0.11.3
    Last update 10. 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.11.2)

    Resolution-agnostic API for logic solvers

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

    0 downloads
    Artifact solve-jvm
    Group it.unibo.tuprolog
    Version 0.11.2
    Last update 31. August 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.11.1)

    Resolution-agnostic API for logic solvers

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

    0 downloads
    Artifact solve-jvm
    Group it.unibo.tuprolog
    Version 0.11.1
    Last update 07. July 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.11.0)

    Resolution-agnostic API for logic solvers

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

    0 downloads
    Artifact solve-jvm
    Group it.unibo.tuprolog
    Version 0.11.0
    Last update 02. July 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.10.2)

    Resolution-agnostic API for logic solvers

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

    0 downloads
    Artifact solve-jvm
    Group it.unibo.tuprolog
    Version 0.10.2
    Last update 13. June 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 11 from 11 (items total 108)


    © 2015 - 2025 Weber Informatics LLC | Privacy Policy