< Board Game I AutoProof Code Repository Closures >

Board Game II

Category: Application

Description

A more complex version of a board game with different square types. Multiple players throw dice to move on a board. Special squares either increase or decrease the money each player has. When the first player reaches the end of the board, the player with the most money wins.

Note that the verification of this program can take more then 70 seconds.

download source

Code