fecho

Um solucionador de respostas para programas lógicos normais ou estendidos.
Baixe Agora

fecho Classificação e resumo

Propaganda

  • Rating:
  • Licença:
  • Freeware
  • 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

Java2sd.

Uma ferramenta baseada em Java para gerar diagramas de seqüência de código ...

49 642 KB

Download

Autologindo

um módulo para python que torna o registro mais fácil de usar com classes ...

37 199 KB

Download

Nicevs.

Um Addin do Visual Studio que altera sua aparência padrão ...

64 6.1 MB

Download