group tools.aqua has published 7 artifact(s) with total 42 version(s)
| Artifact |
Num# versions published |
Latest version |
| bgw-core |
5 |
0.5
|
| bgw-gui |
9 |
0.10
|
| cvc5-turnkey |
1 |
1.2.0
|
| rereso |
4 |
0.3.1
|
| turnkey-gradle-plugin |
1 |
1.0.0
|
| turnkey-support |
1 |
1.0.0
|
| z3-turnkey |
21 |
4.14.1
|