Programas por xml-sat.sf.net
-
XML-SAT Livre
Um solucionador de SAT modular baseado em Minisat. Os módulos são descritos em arquivos XML, que são processados por um script perl; gerando n-solucionadores.
Um solucionador de SAT modular baseado em Minisat. Os módulos são descritos em arquivos XML, que são processados por um script perl; gerando n-solucionadores.