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

Download examples JAR 1.0.1 with all dependencies


Collection of usage examples for 2P-Kt

Files of the artifact examples version 1.0.1 from the group it.unibo.tuprolog.

Artifact examples
Group it.unibo.tuprolog
Version 1.0.1
Last update 06. April 2024
Tags: examples usage collection
Organization not specified
URL https://github.com/tuProlog/2p-kt
License Apache-2.0
Dependencies amount 8
Dependencies kotlin-stdlib-jdk8, solve-classic-jvm, solve-concurrent-jvm, solve-problog-jvm, dsl-theory-jvm, parser-theory-jvm, io-lib-jvm, oop-lib-jvm,
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 examples Show documentation

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

0 downloads

Source code of examples version 1.0.1

META-INF
META-INF.META-INF.MANIFEST.MF
it.unibo.tuprolog.examples.concurrent
it.unibo.tuprolog.examples.concurrent.it.unibo.tuprolog.examples.concurrent.ConcurrentSolverPerformance.kt
it.unibo.tuprolog.examples.concurrent.it.unibo.tuprolog.examples.concurrent.nQueens.pl
it.unibo.tuprolog.examples.concurrent.it.unibo.tuprolog.examples.concurrent.parallel.pl
it.unibo.tuprolog.examples.core.substitution
it.unibo.tuprolog.examples.core.substitution.it.unibo.tuprolog.examples.core.substitution.Application.kt
it.unibo.tuprolog.examples.core.substitution.it.unibo.tuprolog.examples.core.substitution.Chain.kt
it.unibo.tuprolog.examples.core.substitution.it.unibo.tuprolog.examples.core.substitution.Composition.kt
it.unibo.tuprolog.examples.core.substitution.it.unibo.tuprolog.examples.core.substitution.Contradiction.kt
it.unibo.tuprolog.examples.core.substitution.it.unibo.tuprolog.examples.core.substitution.Creation.kt
it.unibo.tuprolog.examples.solve
it.unibo.tuprolog.examples.solve.it.unibo.tuprolog.examples.solve.SolverExample.kt
it.unibo.tuprolog.examples.solve.it.unibo.tuprolog.examples.solve.ThermostatAgent
it.unibo.tuprolog.examples.solve.it.unibo.tuprolog.examples.solve.ThermostatAgentKt.kt
it.unibo.tuprolog.examples.solve.it.unibo.tuprolog.examples.solve.thermostat.pl
it.unibo.tuprolog.examples.unify
it.unibo.tuprolog.examples.unify.it.unibo.tuprolog.examples.unify.Caching.kt
it.unibo.tuprolog.examples.unify.it.unibo.tuprolog.examples.unify.CustomUnificator.kt
it.unibo.tuprolog.examples.unify.it.unibo.tuprolog.examples.unify.Failure.kt
it.unibo.tuprolog.examples.unify.it.unibo.tuprolog.examples.unify.InfixMethods.kt
it.unibo.tuprolog.examples.unify.it.unibo.tuprolog.examples.unify.OccursCheck.kt
it.unibo.tuprolog.examples.unify.it.unibo.tuprolog.examples.unify.Success.kt




© 2015 - 2024 Weber Informatics LLC | Privacy Policy