project gallery

Logic Puzzle Adventure: The Alexa Files

CS340 Final Project • Spring 2025

A web-based logic puzzle game featuring constraint-based challenges including the wolf–goat–cabbage river crossing, magic square, and knights and knaves truth-teller problem, modeled in Z3 and Alloy. Built with Flask, HTML, and CSS.