In case you are interested, we have posted a compact TLA+ version for the N=4 and W=40 stone puzzle as an example of our Logic Calculator:
(1. Click on the Formalism Menu on the right and choose TLA+. 2. Now click on the Examples Menu and choose the StonesPuzzle entry.)
We also have a generic B solution for arbitrary weight and number of pieces. We will try and translate it to TLA+ and post it as another example on the site.
I just posted in the CodePlex repository a TLA+/TLC solution to this problem for arbitrary weight of stone and number of pieces. The repository is at
Click on Source Code > examples > Stones. However, I recommend trying to write such a solution yourself before looking at mine.
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...@xxxxxxxxxxxxxxxx
To post to this group, send email to tla...@xxxxxxxxxxxxxxxx
Visit this group at http://groups.google.com/group/tlaplus
For more options, visit https://groups.google.com/d/optout