regular-game

A game where the player fights with regular languages

pip3 install Django
git clone https://github.com/VeriFIT/regular-game.git
cd regular-game/regular_game_site
python3 manage.py migrate
./fill_data_regular_game.py
python3 manage.py runserver

and go to http://127.0.0.1:8000/game22/

Game23

Make sure you have z3 installed.

pip3 install Django
git clone https://github.com/VeriFIT/regular-game.git
cd regular-game/regular_game_site
python3 manage.py migrate
./fill_data_game23.py
python3 manage.py runserver

and go to http://127.0.0.1:8000/game23/