Name		Name	Last commit message	Last commit date
parent directory ..
Hanoi.toolbox		Hanoi.toolbox
Bits.java		Bits.java
Bits.tla		Bits.tla
Hanoi.tla		Hanoi.tla
HanoiSeq.tla		HanoiSeq.tla
Hanoi_anim.cfg		Hanoi_anim.cfg
Hanoi_anim.tla		Hanoi_anim.tla
README.md		README.md
manifest.json		manifest.json

README.md

Tower of Hanoi

Two specification variants of the "Tower of Hanoi" problem:

Hanoi.tla The towers are modeled as natural numbers and module overwrites are demonstrated. The number of disk and towers defined by the model. Please see issue #9 for shortcomings of this spec.
HanoiSeq.tla The towers are modeled as three sequences of integers.