These files are containing the class collect.Lists

TBD

TBD

TBD

This module collects all required Iceberg modules and their dependencies, and shades them. Consuming modules only need to mark this module as their dependency to get any required Iceberg libs. This module has no sources of its own, only the built jar file contains the gathered and shaded libs. For Intellij this module is recommended to be ignored, to avoid the dependent modules considering this as a module dependency, they should see this as a library dependency instead.

Xta Cli subproject in the Theta model checking framework

Sts Cli subproject in the Theta model checking framework

TBD

TBD