SAT Live! est un site communautaire autour du problème SAT. Il permet de partager des nouvelles concernant les conférences, ateliers, logiciels, benchmarks, emplois autour du problème SAT.

Aller sur la page web du logiciel