Distributed TLC?

[Thomas Gebert]

I couldn't find any direct documentation about this, so I was curious; is there any mechanism to run TLC in a cluster?  I have a pretty large model that has to check a bunch of permutations of a pretty large set, and I was curious if anyone had any experience distributing such a thing (or if such a thing were even possible). 

[Kenny Parnell]

Hey Thomas,

Here's a video Markus posted the other day doing just that.

https://www.youtube.com/watch?v=ocrdZmhw-pw

-Kenny

On Wed, Nov 20, 2019 at 08:11:05AM -0800, Thomas Gebert wrote:
> I couldn't find any direct documentation about this, so I was curious; is

> there any mechanism to run TLC in a cluster. I have a pretty large model

> that has to check a bunch of permutations of a pretty large set, and I was
> curious if anyone had any experience distributing such a thing (or if such
> a thing were even possible).
>

> --
> You received this message because you are subscribed to the Google Groups "tlaplus" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+u...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/bab185c6-cf71-4f08-8b7d-4b63b6ed5dc0%40googlegroups.com.