Descrição
Modelos de programação lógica podem ser transformados em grounding para fluxos de answer-set solving. É útil para pesquisadores, estudantes e desenvolvedores que trabalham com ASP, modelagem de restrições, planejamento, escalonamento ou resolução de problemas combinatórios.
Esta é uma ferramenta especializada de raciocínio por linha de comando. Resultados corretos dependem do modelo, fatos, opções do solver e interpretação dos answer sets, então valide codificações com pequenos casos conhecidos primeiro.