Projet académique visant à concevoir une application en C simulant une machine à laver partagée entre plusieurs processus. Le système utilise la mémoire partagée pour la communication entre un client et un serveur, avec gestion des signaux pour l'arrêt sécurisé. L'objectif pédagogique est de maîtriser les mécanismes de synchronisation et de communication inter-processus dans un environnement Unix.

DSyrup est un solveur SAT distribué original basé sur le paradigme portfolio. Ce solveur, dédié au travail sur de nombreux cœurs, implémente un nouveau modèle de programmation distribuée hybride entièrement à partir de Syrup. dSyrup utilise un modèle de programmation hybride. Dans les modèles hybrides, les processus s'exécutant sur le même ordinateur communiquent via la mémoire partagée (pthreads) et les messages (MPI) sont utilisés uniquement pour communiquer entre les ordinateurs.