Explore projects

DSL in Scala for Constraint Solving with Z3 SMT Solver

This project is an online Jass game (the Jass is a swiss card game). It is written in Java and is playable up to 4 people, the missing player are replaced by an IA. This project comes from the EPFL course "Pratique de la programmation orientée-objet"

Manages how much money a group of friends owes each other.