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.