Group: Aqua
1.Z3 TurnKey9 usages
tools.aqua » z3-turnkey MIT
TurnKey artifact for Z3
Last Release on Jun 30, 2025
2.BoardGameWork GUI Library5 usages
tools.aqua » bgw-gui Apache
A framework for board game applications.
Last Release on May 6, 2026
3.BoardGameWork GUI Library5 usages
tools.aqua » bgw-gui-jvm Apache
A framework for board game applications.
Last Release on May 6, 2026
4.BoardGameWork Network Common Code5 usages
tools.aqua » bgw-net-common Apache
A framework for board game applications.
Last Release on May 6, 2026
5.STARS Core Library4 usages
tools.aqua » stars-core Apache
STARS - Scenario-Based Testing of Autonomous Robotic Systems - Core Library
Last Release on Jan 23, 2026
7.BoardGameWork Network Client Library3 usages
tools.aqua » bgw-net-client Apache
A framework for board game applications.
Last Release on May 6, 2026
8.Konstraints Full Bundle2 usages
tools.aqua » konstraints-all Apache +1
The Konstraints library and all accompanying solver plugins
Last Release on Apr 24, 2026
9.Konstraints Core2 usages
tools.aqua » konstraints-core Apache +1
A library for working with SMT expressions on the JVM
Last Release on Apr 24, 2026
10.STARS Data AV2 usages
tools.aqua » stars-data-av Apache
STARS - Scenario-Based Testing of Autonomous Robotic Systems - Data Model for Autonomous Vehicles
Last Release on Jan 23, 2026
11.TurnKey Support Library3 usages
tools.aqua » turnkey-support ISC
Support code for TurnKey libraries that provides code for unpacking and loading native libraries in a mostly platform-independent fashion.
Last Release on Sep 19, 2024
12.BoardGameWork Network Protocol Client1 usages
tools.aqua » bgw-net-protocol-client Apache
A framework for board game applications.
Last Release on May 6, 2026
13.Konstraints Z3 Plugin1 usages
tools.aqua » konstraints-z3 Apache +1
Z3 support for the Konstraints library
Last Release on Apr 24, 2026
14.JConstraints6 usages
tools.aqua » jconstraints-core Apache
jConstraints is a library for managing SMT constraints in Java
Last Release on Mar 7, 2023
15.Konstraints1 usages
tools.aqua » konstraints Apache +1
A library for working with SMT Expressions in the JVM
Last Release on Oct 24, 2024
16.TurnKey Gradle Plugin1 usages
tools.aqua » turnkey-gradle-plugin Apache
Plugin for creating TurnKey projects that provides access to native library and Java rewriting tools.
Last Release on Sep 20, 2024
17.BoardGameWork Docs Examples
tools.aqua » bgw-docs-examples Apache
The BGW documentation examples.
Last Release on May 6, 2026
18.BoardGameWork GUI Library
tools.aqua » bgw-gui-js Apache
A framework for board game applications.
Last Release on May 6, 2026
19.BoardGameWork MauMau Example
tools.aqua » bgw-maumau-example Apache
The BGW MauMau example.
Last Release on May 6, 2026
20.BoardGameWork Server
tools.aqua » bgw-net-server Apache
A framework for board game applications.
Last Release on May 6, 2026
