Download tools.aqua JAR files with all dependencies

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

A self-unpacking, standalone Z3 distribution that ships all required native support code and automatically unpacks it at runtime.

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
Last update 15. April 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!

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

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.2.2
Last update 13. February 2024
Organization not specified
URL https://github.com/tudo-aqua/stars
License Apache License, Version 2.0
Dependencies amount 1
Dependencies kotlin-stdlib-jdk8,
There are maybe transitive dependencies!

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

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.2.2
Last update 13. February 2024
Organization not specified
URL https://github.com/tudo-aqua/stars
License Apache License, Version 2.0
Dependencies amount 1
Dependencies kotlin-stdlib-jdk8,
There are maybe transitive dependencies!

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

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.2.2
Last update 13. February 2024
Organization not specified
URL https://github.com/tudo-aqua/stars
License Apache License, Version 2.0
Dependencies amount 1
Dependencies kotlin-stdlib-jdk8,
There are maybe transitive dependencies!

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

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.2.2
Last update 13. February 2024
Organization not specified
URL https://github.com/tudo-aqua/stars
License Apache License, Version 2.0
Dependencies amount 1
Dependencies kotlin-stdlib-jdk8,
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!

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

A framework for board game applications.

Group: tools.aqua Artifact: bgw-net-protocol-client
Show all versions Show documentation Show source

0 downloads

Artifact bgw-net-protocol-client
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!

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

A framework for board game applications.

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

0 downloads

Artifact bgw-net-common
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!

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

A framework for board game applications.

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

0 downloads

Artifact bgw-net-client
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!

bgw-tetris-example from group tools.aqua (version 0.9)

The BGW Tetris example.

Group: tools.aqua Artifact: bgw-tetris-example
Show all versions Show documentation Show source

0 downloads

Artifact bgw-tetris-example
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 22)