mvncenter: it.unibo.tuprolog:ide:1.0.4

i

ide

Customisable, JavaFX-based GUI for logic solvers

https://github.com/tuProlog/2p-kt

Apache-2.0

Jason Dellaluce Sofia Montebugnoli Enrico Siboni Giovanni Ciatto Andrea Giordano Silvia Lanzoni Paolo Verdini Lorenzo Rizzato Manuel Bonarrigo Davide Greco Jason Dellaluce Sofia Montebugnoli Enrico Siboni Giovanni Ciatto Andrea Giordano Silvia Lanzoni Paolo Verdini Lorenzo Rizzato Manuel Bonarrigo Davide Greco

based customisable javafx logic solvers

Files download

File	Operation
ide-1.0.4.jar	download
ide-1.0.4.pom	download
ide-1.0.4-sources.jar	download

Apache Maven

<dependency>
  <groupId>it.unibo.tuprolog</groupId>
  <artifactId>ide</artifactId>
  <version>1.0.4</version>
</dependency>

Gradle Groovy

implementation 'it.unibo.tuprolog:ide:1.0.4'

Gradle Kotlin

implementation("it.unibo.tuprolog:ide:1.0.4")

Scala SBT

libraryDependencies += "it.unibo.tuprolog" % "ide" % "1.0.4"

Groovy Grape

@Grapes(
  @Grab(group='it.unibo.tuprolog', module='ide', version='1.0.4')
)

Apache Ivy

<dependency org="it.unibo.tuprolog" name="ide" rev="1.0.4" />

Leiningen

[it.unibo.tuprolog/ide "1.0.4"]

Apache Buildr

'it.unibo.tuprolog:ide:jar:1.0.4'

Dependencies

compile

|-- org.jetbrains.kotlin:kotlin-stdlib-jdk8:1.9.23

|-- it.unibo.tuprolog:io-lib-jvm:1.0.4

|-- it.unibo.tuprolog:oop-lib-jvm:1.0.4

|-- it.unibo.tuprolog:parser-theory-jvm:1.0.4

|-- it.unibo.tuprolog:solve-classic-jvm:1.0.4

|-- org.fxmisc.richtext:richtextfx:0.11.2

|-- org.openjfx:javafx-base:19.0.2.1

|-- org.openjfx:javafx-base:19.0.2.1

|-- org.openjfx:javafx-base:19.0.2.1

|-- org.openjfx:javafx-base:19.0.2.1

|-- org.openjfx:javafx-controls:19.0.2.1

|-- org.openjfx:javafx-controls:19.0.2.1

|-- org.openjfx:javafx-controls:19.0.2.1

|-- org.openjfx:javafx-controls:19.0.2.1

|-- org.openjfx:javafx-fxml:19.0.2.1

|-- org.openjfx:javafx-fxml:19.0.2.1

|-- org.openjfx:javafx-fxml:19.0.2.1

|-- org.openjfx:javafx-fxml:19.0.2.1

|-- org.openjfx:javafx-graphics:19.0.2.1

|-- org.openjfx:javafx-graphics:19.0.2.1

|-- org.openjfx:javafx-graphics:19.0.2.1

|-- org.openjfx:javafx-graphics:19.0.2.1