Download tools.aqua JAR files with all dependencies

cvc5-turnkey from group tools.aqua (version 1.2.0)

TurnKey artifact for cvc5

Group: tools.aqua Artifact: cvc5-turnkey
Show documentation Show source

0 downloads

Artifact cvc5-turnkey
Group tools.aqua
Version 1.2.0
Last update 21. September 2024
Organization not specified
URL https://github.com/tudo-aqua/cvc5-turnkey
License The 3-Clause BSD License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

z3-turnkey from group tools.aqua (version 4.13.0.1)

TurnKey artifact for Z3

Group: tools.aqua Artifact: z3-turnkey
Show all versions Show documentation Show source

0 downloads

Artifact z3-turnkey
Group tools.aqua
Version 4.13.0.1
Last update 20. September 2024
Organization not specified
URL https://github.com/tudo-aqua/z3-turnkey
License The MIT License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

turnkey-gradle-plugin from group tools.aqua (version 1.0.0)

Plugin for creating TurnKey projects that provides access to native library and Java rewriting tools.

Group: tools.aqua Artifact: turnkey-gradle-plugin
Show documentation Show source

0 downloads

Artifact turnkey-gradle-plugin
Group tools.aqua
Version 1.0.0
Last update 19. September 2024
Organization not specified
URL https://github.com/tudo-aqua/turnkey-gradle-plugin
License Apache License, Version 2.0
Dependencies amount 1
Dependencies javaparser-symbol-solver-core,
There are maybe transitive dependencies!

turnkey-support from group tools.aqua (version 1.0.0)

Support code for TurnKey libraries that provides code for unpacking and loading native libraries in a mostly platform-independent fashion.

Group: tools.aqua Artifact: turnkey-support
Show documentation Show source

0 downloads

Artifact turnkey-support
Group tools.aqua
Version 1.0.0
Last update 19. September 2024
Organization not specified
URL https://github.com/tudo-aqua/turnkey-support
License ISC License
Dependencies amount 1
Dependencies jspecify,
There are maybe transitive dependencies!

konstraints from group tools.aqua (version 0.1)

A library for working with SMT Expressions in the JVM

Group: tools.aqua Artifact: konstraints
Show documentation Show source

0 downloads

Artifact konstraints
Group tools.aqua
Version 0.1
Last update 09. August 2024
Organization not specified
URL https://github.com/tudo-aqua/konstraints
License Apache-2.0
Dependencies amount 1
Dependencies kotlin-stdlib,
There are maybe transitive dependencies!

stars-logic-kcmftbl from group tools.aqua (version 0.4)

STARS - Scenario-Based Testing of Autonomous Robotic Systems - Library for Kotlin implementation of CMFTBL

Group: tools.aqua Artifact: stars-logic-kcmftbl
Show all versions Show documentation Show source

0 downloads

Artifact stars-logic-kcmftbl
Group tools.aqua
Version 0.4
Last update 02. August 2024
Organization not specified
URL https://github.com/tudo-aqua/stars
License Apache License, Version 2.0
Dependencies amount 1
Dependencies kotlin-stdlib,
There are maybe transitive dependencies!

stars-importer-carla from group tools.aqua (version 0.4)

STARS - Scenario-Based Testing of Autonomous Robotic Systems - Importer and Data Format for STARS Carla Exporter

Group: tools.aqua Artifact: stars-importer-carla
Show all versions Show documentation Show source

0 downloads

Artifact stars-importer-carla
Group tools.aqua
Version 0.4
Last update 02. August 2024
Organization not specified
URL https://github.com/tudo-aqua/stars
License Apache License, Version 2.0
Dependencies amount 1
Dependencies kotlin-stdlib,
There are maybe transitive dependencies!

stars-data-av from group tools.aqua (version 0.4)

STARS - Scenario-Based Testing of Autonomous Robotic Systems - Data Model for Autonomous Vehicles

Group: tools.aqua Artifact: stars-data-av
Show all versions Show documentation Show source

0 downloads

Artifact stars-data-av
Group tools.aqua
Version 0.4
Last update 02. August 2024
Organization not specified
URL https://github.com/tudo-aqua/stars
License Apache License, Version 2.0
Dependencies amount 1
Dependencies kotlin-stdlib,
There are maybe transitive dependencies!

stars-core from group tools.aqua (version 0.4)

STARS - Scenario-Based Testing of Autonomous Robotic Systems - Core Library

Group: tools.aqua Artifact: stars-core
Show all versions Show documentation Show source

0 downloads

Artifact stars-core
Group tools.aqua
Version 0.4
Last update 02. August 2024
Organization not specified
URL https://github.com/tudo-aqua/stars
License Apache License, Version 2.0
Dependencies amount 1
Dependencies kotlin-stdlib,
There are maybe transitive dependencies!

bgw-net-server from group tools.aqua (version 0.9)

A framework for board game applications.

Group: tools.aqua Artifact: bgw-net-server
Show all versions Show documentation

There is no JAR file uploaded. A download is not possible! Please choose another version.

0 downloads

Artifact bgw-net-server
Group tools.aqua
Version 0.9
Last update 05. December 2023
Organization not specified
URL https://github.com/tudo-aqua/bgw
License Apache License, Version 2.0
Dependencies amount 1
Dependencies kotlin-stdlib-jdk8,
There are maybe transitive dependencies!

Page 1 from 3 (items total 26)