Este é um projeto académico; o principal objetivo é gerar um algoritmo para paralelizar uma fórmula CNF e, em seguida, alimentar as partes distribuídas para solucionadores sat sequenciais, pois este projeto escolhemos usar o Sat4J como solucionador.
história da versão
- Versão 0.01 postado em 2008-03-26
Várias correções e atualizações - Versão 0.01 postado em 2008-03-26
Detalhes do programa
- Categoria: Desenvolvimento > Outros
- Editor: parallelsat4j.sf.net
- Licença: Grátis
- Preço: N/A
- Versão: 0.01
- Plataforma: windows