Project Group: tools.aqua

Z3-TurnKey

tools.aqua : z3-turnkey

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

Last Version: 4.8.17

Release Date: May 6, 2022

BoardGameWork GUI Library

tools.aqua : bgw-gui

A framework for board game applications.

Last Version: 0.6

Release Date: Apr 1, 2022

BoardGameWork Network Common Code

tools.aqua : bgw-net-common

A framework for board game applications.

Last Version: 0.6

Release Date: Apr 1, 2022

BoardGameWork Network Client Library

tools.aqua : bgw-net-client

A framework for board game applications.

Last Version: 0.6

Release Date: Apr 1, 2022

BoardGameWork MauMau Example

tools.aqua : bgw-maumau-example

The BGW MauMau example.

Last Version: 0.6

Release Date: Apr 1, 2022

BoardGameWork Sudoku Example

tools.aqua : bgw-sudoku-example

The BGW Sudoku example.

Last Version: 0.6

Release Date: Apr 1, 2022

BoardGameWork Tetris Example

tools.aqua : bgw-tetris-example

The BGW Tetris example.

Last Version: 0.6

Release Date: Apr 1, 2022

BoardGameWork Server

tools.aqua : bgw-net-server

A framework for board game applications.

Last Version: 0.6

Release Date: Apr 1, 2022

BoardGameWork Core Library

tools.aqua : bgw-core

A framework for board game applications.

Last Version: 0.5

Release Date: Oct 31, 2021