#WalkSAT - SAT-Solver codé en JavaScript
Outil destiné à la résolution de problèmes SAT, c'est à dire de problèmes de décision de logique propositionnelle présentés sous la forme d'un ensemble de clauses au format DIMACS.
##Générateur de FNC Générez des FNC au format DIMACS à partir des régles imposées par le jeu du Squaro sur une grille générée aléatoirement.