| fecho Um solucionador de respostas para programas lógicos normais ou estendidos. |
Baixe Agora |
fecho Classificação e resumo
- Nome do editor:
- University of Applied Sciences Potsdam
- Sistemas operacionais:
- Windows All
- Tamanho do arquivo:
- 408 KB
fecho Tag
fecho Descrição
O Clasp permite a implementação do algoritmo de programação de respostas que permite resolver programas lógicos normais. O método é baseado na técnica de aprendizado de nocote-vomodia com conflito. Você pode usar esta ferramenta como solucionador ASP, Sat Solver ou PB Solver para seus projetos que envolvem resolução de configuração de resposta.
fecho Software Relacionado