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

Re: [tlaplus] TLA+ Specification for Einsteins Riddle

Hi Markus,

> On 11 Mar 2021, at 16:47, Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx> wrote:
> FWIW: https://github.com/tlaplus/Examples/pull/31

Thanks for the link.

For illustration purposes I have created a very small visualisation and some instructions on how to run the symbolic invariant check here:

Maybe somebody finds it useful.
There is also an Alloy version.


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/7D5665D2-31B9-4D8E-BEB0-92AE2A016574%40uni-duesseldorf.de.