Skip to content

Latest commit

 

History

History

tower_of_hanoi

Folders and files

NameName
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
 
 
README.md
README.md
 
 

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.