JarCasting
JarCasting JarCasting

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:

BoardGameWork GUI Library

 tools.aqua : bgw-gui

A framework for board game applications.

Last Version: 0.6

Release Date:

BoardGameWork Network Common Code

 tools.aqua : bgw-net-common

A framework for board game applications.

Last Version: 0.6

Release Date:

BoardGameWork Network Client Library

 tools.aqua : bgw-net-client

A framework for board game applications.

Last Version: 0.6

Release Date:

BoardGameWork MauMau Example

 tools.aqua : bgw-maumau-example

The BGW MauMau example.

Last Version: 0.6

Release Date:

BoardGameWork Sudoku Example

 tools.aqua : bgw-sudoku-example

The BGW Sudoku example.

Last Version: 0.6

Release Date:

BoardGameWork Tetris Example

 tools.aqua : bgw-tetris-example

The BGW Tetris example.

Last Version: 0.6

Release Date:

BoardGameWork Server

 tools.aqua : bgw-net-server

A framework for board game applications.

Last Version: 0.6

Release Date:

BoardGameWork Core Library

 tools.aqua : bgw-core

A framework for board game applications.

Last Version: 0.5

Release Date:

  • 1