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

    Resolution-agnostic API for logic solvers

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

    0 downloads
    Artifact solve-jvm
    Group it.unibo.tuprolog
    Version 0.30.5
    Last update 01. February 2023
    Tags: agnostic logic resolution solvers
    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.30.4)

    Resolution-agnostic API for logic solvers

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

    0 downloads
    Artifact solve-jvm
    Group it.unibo.tuprolog
    Version 0.30.4
    Last update 20. November 2022
    Tags: agnostic logic resolution solvers
    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.30.3-dev0a+69949374d)

    Resolution-agnostic API for logic solvers

    Group: it.unibo.tuprolog Artifact: solve-jvm
    Show documentation Show source 
    Download solve-jvm.jar (0.30.3-dev0a+69949374d)
     

    0 downloads
    Artifact solve-jvm
    Group it.unibo.tuprolog
    Version 0.30.3-dev0a+69949374d
    Last update 20. November 2022
    Tags: agnostic logic resolution solvers
    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.30.3)

    Resolution-agnostic API for logic solvers

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

    0 downloads
    Artifact solve-jvm
    Group it.unibo.tuprolog
    Version 0.30.3
    Last update 12. October 2022
    Tags: agnostic logic resolution solvers
    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.30.2-dev0f+259d7b5b)

    Resolution-agnostic API for logic solvers

    Group: it.unibo.tuprolog Artifact: solve-jvm
    Show documentation Show source 
    Download solve-jvm.jar (0.30.2-dev0f+259d7b5b)
     

    0 downloads
    Artifact solve-jvm
    Group it.unibo.tuprolog
    Version 0.30.2-dev0f+259d7b5b
    Last update 12. October 2022
    Tags: agnostic logic resolution solvers
    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.30.2-dev08+5b060658)

    Resolution-agnostic API for logic solvers

    Group: it.unibo.tuprolog Artifact: solve-jvm
    Show documentation Show source 
    Download solve-jvm.jar (0.30.2-dev08+5b060658)
     

    0 downloads
    Artifact solve-jvm
    Group it.unibo.tuprolog
    Version 0.30.2-dev08+5b060658
    Last update 12. October 2022
    Tags: agnostic logic resolution solvers
    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.30.2)

    Resolution-agnostic API for logic solvers

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

    0 downloads
    Artifact solve-jvm
    Group it.unibo.tuprolog
    Version 0.30.2
    Last update 26. September 2022
    Tags: agnostic logic resolution solvers
    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.30.1)

    Resolution-agnostic API for logic solvers

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

    0 downloads
    Artifact solve-jvm
    Group it.unibo.tuprolog
    Version 0.30.1
    Last update 26. September 2022
    Tags: agnostic logic resolution solvers
    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.30.0-dev01+725eae35)

    Resolution-agnostic API for logic solvers

    Group: it.unibo.tuprolog Artifact: solve-jvm
    Show documentation Show source 
    Download solve-jvm.jar (0.30.0-dev01+725eae35)
     

    0 downloads
    Artifact solve-jvm
    Group it.unibo.tuprolog
    Version 0.30.0-dev01+725eae35
    Last update 26. September 2022
    Tags: agnostic logic resolution solvers
    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.30.0)

    Resolution-agnostic API for logic solvers

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

    0 downloads
    Artifact solve-jvm
    Group it.unibo.tuprolog
    Version 0.30.0
    Last update 23. September 2022
    Tags: agnostic logic resolution solvers
    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 5 from 11 (items total 108)


    © 2015 - 2025 Weber Informatics LLC | Privacy Policy