Artifact Latest version Version Count Packaging Update time
tools.aqua:z3-turnkey
4.13.4 19 jar Dec 19, 2024
tools.aqua:stars-logic-kcmftbl
0.5 7 jar Nov 06, 2024
tools.aqua:stars-importer-carla
0.5 6 jar Nov 06, 2024
tools.aqua:stars-data-av
0.5 7 jar Nov 06, 2024
tools.aqua:stars-core
0.5 7 jar Nov 06, 2024
tools.aqua:konstraints
0.2 2 jar Oct 25, 2024
tools.aqua:wvm
0.2 1 jar Sep 23, 2024
tools.aqua:cvc5-turnkey
1.2.0 1 jar Sep 22, 2024
tools.aqua:turnkey-gradle-plugin
1.0.0 1 jar Sep 20, 2024
tools.aqua:turnkey-support
1.0.0 1 jar Sep 19, 2024
tools.aqua:bgw-net-server
0.9 8 pom Dec 05, 2023
tools.aqua:bgw-net-protocol-client
0.9 6 jar Dec 05, 2023
tools.aqua:bgw-net-common
0.9 8 jar Dec 05, 2023
tools.aqua:bgw-net-client
0.9 8 jar Dec 05, 2023
tools.aqua:bgw-tetris-example
0.9 8 jar Dec 05, 2023
tools.aqua:bgw-sudoku-example
0.9 8 jar Dec 05, 2023
tools.aqua:bgw-maumau-example
0.9 8 jar Dec 05, 2023
tools.aqua:bgw-docs-examples
0.9 7 jar Dec 05, 2023
tools.aqua:bgw-gui
0.9 8 jar Dec 05, 2023
tools.aqua:stars-import-carla
0.1 1 jar Sep 01, 2023
tools.aqua:jconstraints-z3
0.9.9 1 jar Mar 06, 2023
tools.aqua:jconstraints-runner
0.9.9 1 jar Mar 06, 2023
tools.aqua:jconstraints-metasolver
0.9.9 1 jar Mar 06, 2023
tools.aqua:jconstraints-cvc5
0.9.9 1 jar Mar 06, 2023
tools.aqua:jconstraints-core
0.9.9 1 jar Mar 06, 2023
tools.aqua:jconstraints-benchmarktest
0.9.9 1 jar Mar 06, 2023
tools.aqua:bgw-core
0.5 5 jar Oct 31, 2021
27 Records