[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] Distributed TLC?

From: Thomas Gebert <thomasgebert@xxxxxxxxx>
Date: Wed, 20 Nov 2019 08:11:05 -0800 (PST)

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.

Follow-Ups:
- Re: [tlaplus] Distributed TLC?
  - From: Kenny Parnell

Prev by Date: Re: [tlaplus] util module
Next by Date: Re: [tlaplus] Distributed TLC?
Previous by thread: Re: [tlaplus] how to improve concurrency of process
Next by thread: Re: [tlaplus] Distributed TLC?
Index(es):
- Date
- Thread