Group: tools.aqua - All Dependencies

BoardGameWork Core Library · A framework for board game applications.

BoardGameWork Tetris Example · The BGW Tetris example.

BoardGameWork Sudoku Example · The BGW Sudoku example.

BoardGameWork Server · A framework for board game applications.

BoardGameWork Network Common Code · A framework for board game applications.

BoardGameWork Network Client Library · A framework for board game applications.

BoardGameWork MauMau Example · The BGW MauMau example.

BoardGameWork GUI Library · A framework for board game applications.

BoardGameWork Docs Examples · The BGW documentation examples.

BoardGameWork Network Protocol Client · A framework for board game applications.

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

jConstraints-BenchmarkTest · jConstraints-BenchmarkTest is a JUnit 5 argument provider for testing solver bindings

jConstraints · jConstraints is a library for managing SMT constraints in Java

jConstraints-cvc5 · jConstraints-cvc5 is the cvc5 API plug-in for jConstraints

jConstraints-metasolver · jConstraints-metasolver is the solver strategy plug-in for jConstraints

JConstraints · JConstraints runner and metric analyzer

jConstraints-Z3 · jConstraints-Z3 is the Z3 API plug-in for jConstraints

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

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

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

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

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