XML-SAT

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 4.0/5 - ‎1 ‎Votes

Sur XML-SAT

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.