Partenaires
Accueil du site > Logiciels > Autres
Autres
QAT
QAT est une librairie Java proposant des outils complets pour résoudre des réseaux de contraintes qualitatives. Toute algèbre qualitative peut être représentée sous QAT. Pour plus d’information ou pour obtenir le logiciel, contacter Mahmoud Saade (saade AT cril.univ-arois.fr).
Le SAT Game
Le SAT Game est une présentation amusante et pédagogique du problème de satisfiabilité (SAT). Essayez de résoudre à la main des instances SAT simples !