advancedtelematic / quickcheck-state-machine

Test monadic programs using state machine based models
Other
203 stars 25 forks source link

Add Tower of Hanoi example #293

Closed abonie closed 5 years ago

abonie commented 5 years ago

Works for N discs and 3 pegs, but realisticly more than 4 discs will cause it to struggle. There is nothing smart about this method.