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.
história da versão
- Versão release postado em 2010-04-24
Várias correções e atualizações - Versão N/A postado em 2010-04-24
Detalhes do programa
- Categoria: Desenvolvimento > Outros
- Editor: xml-sat.sf.net
- Licença: Livre
- Preço: N/A
- Versão: Array
- Plataforma: linux