Program menurut xml-sat.sf.net

Pemecah SAT modular berdasarkan Minisat. Modul dijelaskan dalam file XML, yang diproses oleh skrip perl; sehingga menghasilkan n-solver.