XML-SAT

Licença: Grátis ‎Tamanho do arquivo: N/A
‎Classificação dos utilizadores: 4.0/5 - ‎1 ‎votos

Sobre XML-SAT

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.