Re: [tlaplus] Distributed TLC?

[Kenny Parnell <k.parnell@xxxxxxxxx>]

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+unsubscribe@xxxxxxxxxxxxxxxx.
> To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/bab185c6-cf71-4f08-8b7d-4b63b6ed5dc0%40googlegroups.com.

-- 
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+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/20191120165424.GB25224%40kparnell-ltl2.