Artefact for "Playing Wordle with Uppaal Stratego"

An artefact for playing Monty Hall and Wordle games with Uppaal Stratego

A version of Uppaal Stratego specially tailored for these games is included.

The script `run_wordle.sh` is specifically designed to be able to repeat the experiments of the paper *Playing Wordle with Uppaal Stratego*.

The `worlde_helper.html` can visualize the strategies produced by Uppaal Stratego and provides a way to interact with the strategy.

The five best strategies for playing Wordle computed as part of the paper have been included in the `strategies` subfolder.

To change the game-mode of the Worlde game, see the definitions in the top of the "Play" template.

The included version of Uppaal is solely for non-commercial use and solely for use in the context of this artefact.