On 20.06.19 06:09, Denys Dushyn wrote:
> I would like to use a tla as a java library. Are there any maven
> repositories that contain tla as java library?
> I want to use it in a maven/gradle scripts.
publishing tla2tools.jar to Maven Central is on our Todo list. In the
meantime, you might want to adopt the way Apalache references 
Are you building something on top of tla2tools.jar or do you want to use
it as part of (build) automation? In case of the latter, you might be
interested in .
apalache/blob/ 42355121796f3b7a267ed0bf235892 24d7e38b8c/3rdparty/install- local.sh#L59-L70