Programas por xml-sat.sf.net

Um solucionador sat modular baseado no Minisat. Os módulos são descritos em ficheiros XML, que são processados por um script perl; gerando assim n-solucionadores.