Programmes par xml-sat.sf.net
-
XML-SAT Gratuit
Un solveur SAT modulaire basé sur Minisat. Les modules sont décrits dans les fichiers XML, qui sont traités par un script perl; générant ainsi des n-solveurs.
Un solveur SAT modulaire basé sur Minisat. Les modules sont décrits dans les fichiers XML, qui sont traités par un script perl; générant ainsi des n-solveurs.