Programma's van xml-sat.sf.net

Een modulaire SAT oplosser gebaseerd op Minisat. De modules worden beschreven in XML-bestanden, die worden verwerkt door een perl script; het genereren van n-solvers.