Programas por xml-sat.sf.net

Un solver SAT modular basado en Minisat. Los módulos se describen en archivos XML, que se procesan mediante un script perl; generando así n-solvers.