Skip to content

Latest commit

 

History

History
4 lines (4 loc) · 444 Bytes

README.md

File metadata and controls

4 lines (4 loc) · 444 Bytes
Raw

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.