compile

The following is a list of compile dependencies for this project. These dependencies are required to compile and run the application:

test

The following is a list of test dependencies for this project. These dependencies are only required to compile and run unit tests for the application:

test

The following is a list of test dependencies for this project. These dependencies are only required to compile and run unit tests for the application:

Dependency Tree

• edu.upc.fib.inlab.imp.kse:imp-logics:jar:2.0.0

  IMP Logics
  Description: IMP Logics is a metamodel for expressing logical formulas based on Datalog. URL: https://inlabfib.github.io/imp-logics/ Project Licenses: MIT License

  • org.antlr:antlr4-runtime:jar:4.12.0 (compile)

    ANTLR 4 Runtime
    Description: The ANTLR 4 Runtime URL: https://www.antlr.org/antlr4-runtime/ Project Licenses: BSD-3-Clause

  • org.junit.jupiter:junit-jupiter:jar:5.9.2 (test)

    JUnit Jupiter (Aggregator)
    Description: Module "junit-jupiter" of JUnit 5. URL: https://junit.org/junit5/ Project Licenses: Eclipse Public License v2.0

    • org.junit.jupiter:junit-jupiter-api:jar:5.9.2 (test)

      JUnit Jupiter API
      Description: Module "junit-jupiter-api" of JUnit 5. URL: https://junit.org/junit5/ Project Licenses: Eclipse Public License v2.0

      • org.opentest4j:opentest4j:jar:1.2.0 (test)

        org.opentest4j:opentest4j
        Description: Open Test Alliance for the JVM URL: https://github.com/ota4j-team/opentest4j Project Licenses: The Apache License, Version 2.0

      • org.junit.platform:junit-platform-commons:jar:1.9.2 (test)

        JUnit Platform Commons
        Description: Module "junit-platform-commons" of JUnit 5. URL: https://junit.org/junit5/ Project Licenses: Eclipse Public License v2.0

      • org.apiguardian:apiguardian-api:jar:1.1.2 (test)

        org.apiguardian:apiguardian-api
        Description: @API Guardian URL: https://github.com/apiguardian-team/apiguardian Project Licenses: The Apache License, Version 2.0

    • org.junit.jupiter:junit-jupiter-params:jar:5.9.2 (test)

      JUnit Jupiter Params
      Description: Module "junit-jupiter-params" of JUnit 5. URL: https://junit.org/junit5/ Project Licenses: Eclipse Public License v2.0

    • org.junit.jupiter:junit-jupiter-engine:jar:5.9.2 (test)

      JUnit Jupiter Engine
      Description: Module "junit-jupiter-engine" of JUnit 5. URL: https://junit.org/junit5/ Project Licenses: Eclipse Public License v2.0

      • org.junit.platform:junit-platform-engine:jar:1.9.2 (test)

        JUnit Platform Engine API
        Description: Module "junit-platform-engine" of JUnit 5. URL: https://junit.org/junit5/ Project Licenses: Eclipse Public License v2.0

  • org.assertj:assertj-core:jar:3.24.2 (test)

    AssertJ Core
    Description: Rich and fluent assertions for testing in Java URL: https://assertj.github.io/doc/#assertj-core Project Licenses: Apache License, Version 2.0

    • net.bytebuddy:byte-buddy:jar:1.12.21 (test)

      Byte Buddy (without dependencies)
      Description: Byte Buddy is a Java library for creating Java classes at run time. This artifact is a build of Byte Buddy with all ASM dependencies repackaged into its own name space. URL: https://bytebuddy.net/byte-buddy Project Licenses: Apache License, Version 2.0

  • org.mockito:mockito-core:jar:5.2.0 (test)

    mockito-core
    Description: Mockito mock objects library core API and implementation URL: https://github.com/mockito/mockito Project Licenses: The MIT License

    • net.bytebuddy:byte-buddy-agent:jar:1.14.1 (test)

      Byte Buddy agent
      Description: The Byte Buddy agent offers convenience for attaching an agent to the local or a remote VM. URL: https://bytebuddy.net/byte-buddy-agent Project Licenses: Apache License, Version 2.0

    • org.objenesis:objenesis:jar:3.3 (test)

      Objenesis
      Description: A library for instantiating Java objects URL: http://objenesis.org/objenesis Project Licenses: Apache License, Version 2.0