jar

it.unibo.tuprolog : solve-concurrent-jvm

Maven & Gradle

Aug 25, 2023
93 stars

2P-Kt, Solver-Concurrent Module · Experimental, state-machine-based implementation of an OR-Concurrent, Prolog-like logic solver, based on Kotlin coroutines

Table Of Contents

Latest Version

Download it.unibo.tuprolog : solve-concurrent-jvm JAR file - Latest Versions:

All Versions

Download it.unibo.tuprolog : solve-concurrent-jvm JAR file - All Versions:

Version Vulnerabilities Size Updated
0.31.x
0.30.x
0.20.x

View Java Class Source Code in JAR file

  1. Download JD-GUI to open JAR file and explore Java source code file (.class .java)
  2. Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window solve-concurrent-jvm-0.31.13.jar file.
    Once you open a JAR file, all the java classes in the JAR file will be displayed.

it.unibo.tuprolog.solve.concurrent

├─ it.unibo.tuprolog.solve.concurrent.AtomicInt.class - [JAR]

├─ it.unibo.tuprolog.solve.concurrent.AtomicIntJvm.class - [JAR]

├─ it.unibo.tuprolog.solve.concurrent.AtomicIntJvmKt.class - [JAR]

├─ it.unibo.tuprolog.solve.concurrent.ConcurrentExecutionContext.class - [JAR]

├─ it.unibo.tuprolog.solve.concurrent.ConcurrentResolutionHandle.class - [JAR]

├─ it.unibo.tuprolog.solve.concurrent.ConcurrentSolver.class - [JAR]

├─ it.unibo.tuprolog.solve.concurrent.ConcurrentSolverFactory.class - [JAR]

├─ it.unibo.tuprolog.solve.concurrent.ConcurrentSolverImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.concurrent.CoroutinesUtilsJvmKt.class - [JAR]

├─ it.unibo.tuprolog.solve.concurrent.MutableConcurrentSolver.class - [JAR]

├─ it.unibo.tuprolog.solve.concurrent.PoisonPill.class - [JAR]

it.unibo.tuprolog.solve.concurrent.stdlib.primitive

├─ it.unibo.tuprolog.solve.concurrent.stdlib.primitive.Naf.class - [JAR]

├─ it.unibo.tuprolog.solve.concurrent.stdlib.primitive.Or.class - [JAR]

├─ it.unibo.tuprolog.solve.concurrent.stdlib.primitive.Throw.class - [JAR]

it.unibo.tuprolog.solve.concurrent.fsm

├─ it.unibo.tuprolog.solve.concurrent.fsm.AbstractState.class - [JAR]

├─ it.unibo.tuprolog.solve.concurrent.fsm.EndState.class - [JAR]

├─ it.unibo.tuprolog.solve.concurrent.fsm.ExceptionalState.class - [JAR]

├─ it.unibo.tuprolog.solve.concurrent.fsm.State.class - [JAR]

├─ it.unibo.tuprolog.solve.concurrent.fsm.StateEnd.class - [JAR]

├─ it.unibo.tuprolog.solve.concurrent.fsm.StateException.class - [JAR]

├─ it.unibo.tuprolog.solve.concurrent.fsm.StateGoalSelection.class - [JAR]

├─ it.unibo.tuprolog.solve.concurrent.fsm.StateHalt.class - [JAR]

├─ it.unibo.tuprolog.solve.concurrent.fsm.StatePrimitiveExecution.class - [JAR]

├─ it.unibo.tuprolog.solve.concurrent.fsm.StatePrimitiveSelection.class - [JAR]

├─ it.unibo.tuprolog.solve.concurrent.fsm.StateRuleExecution.class - [JAR]

├─ it.unibo.tuprolog.solve.concurrent.fsm.StateRuleSelection.class - [JAR]

├─ it.unibo.tuprolog.solve.concurrent.fsm.Utils.class - [JAR]

it.unibo.tuprolog.solve.concurrent.stdlib

├─ it.unibo.tuprolog.solve.concurrent.stdlib.DefaultBuiltins.class - [JAR]

it.unibo.tuprolog.solve.concurrent.stdlib.rule

├─ it.unibo.tuprolog.solve.concurrent.stdlib.rule.Call.class - [JAR]

├─ it.unibo.tuprolog.solve.concurrent.stdlib.rule.Catch.class - [JAR]

├─ it.unibo.tuprolog.solve.concurrent.stdlib.rule.Comma.class - [JAR]

├─ it.unibo.tuprolog.solve.concurrent.stdlib.rule.Cut.class - [JAR]

├─ it.unibo.tuprolog.solve.concurrent.stdlib.rule.NegationAsFailure.class - [JAR]

Advertisement

Dependencies from Group

May 18, 2021
9 usages
93 stars
Aug 25, 2023
9 usages
93 stars
Aug 25, 2023
9 usages
93 stars
Aug 25, 2023
9 usages
93 stars
Aug 25, 2023
8 usages
93 stars

Discover Dependencies