DEIS-Tools / WordAAL

Interactive UPPAAL playing Wordle demo
0 stars 0 forks source link

WordAAL

Interactive Wordle-like demo showcasing the resulting strategies from the paper 'Playing Wordle with Uppaal Stratego' by Peter G. Jensen, Kim G. Larsen, and Marius Mikučionis.

Stack is Svelte + Vite, using generated strategies from repeatability package.

Features

Development

SvelteKit is not needed. Just run the following commands in the WordAAL-svelte/ directory:

npm install
npm run dev

Deploy

npm run build

Then copy the contents of WordAAL-svelte/dist/ to your web-server.

Fix

For uppaal.org webserver, you might need to remove leading slash from dist/index.html sources due to configured Apache rewrite rules.

<script type="module" crossorigin src="https://github.com/DEIS-Tools/WordAAL/raw/main/assets/index-0c1789d2.js"></script>
<link rel="stylesheet" href="https://github.com/DEIS-Tools/WordAAL/blob/main/assets/index-a39a2349.css">