logic

A multiplayer reaction game: train your mind and your reflexes while having fun!

A simple logic game: find the best path to delete every number in a square space

IDP3-IDE is an IDE based on webID for knowledge base system IDP3.

An educational web application to practice logical thinking by building simple games based on static screens and text choices.

Interactive and multi-purpose DMN modeler and engine, powered by the IDP-Z3 system.

Exercises, notes and code.

Esercizi, appunti e codice.

A class I followed about modelling and verifying a lock in UPPAAL.