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.


Auteur :
Daniel Le Berre

Toute catégorie    Sites web   

Aller sur la page web du logiciel