XML-SAT

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 4.0/5 - ‎1 ‎Votos

Sobre XML-SAT

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.