D-Syrup

dSyrup est un solveur SAT distribué original basé sur le paradigme portfolio. Il peut réaliser ses tâches sur plusieurs cœurs et implémente également un nouveau modèle de programmation distribuée entièrement hybride de Syrup. Dans les modèles hybrides, les processus qui s’exécutent sur le même ordinateur, communiquant via la mémoire partagée (pthreads) et les messages (MPI), ne sont utilisés que pour communiquer entre ordinateurs. Par défaut, dSyrup utilise la stratégie de programmation parallèle concurrente, mais nous avons également implémenté la stratégie dynamique Diviser pour mieux régner(Divide and Conquer).

MIT    Toute catégorie    Prouveurs CSP & SAT