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

Re: [tlaplus] DieHard code implementation



Hi Nestor,

we have a page here with B, TLA+ and Z versions of the puzzle:
https://www3.hhu.de/stups/prob/index.php/Die_Hard_Jugs_Puzzle

Greetings,
Michael Leuschel

On 4 Nov 2018, at 02:17, Nestor Diaz <nes...@xxxxxxxxx> wrote:


It seems that we could even submit a new language to rosettacode, actually there is no TLA+ at https://rosettacode.org/wiki/Category:Programming_Languages .
Well ... this is the TLA+ spec of DieHard that I have.