Pular para o conteúdo principal
buildradar
Sign in

potassco/clingo

@potassco

🦉 Um grounder e solver para programas lógicos.

Estrelas
830
Bifurcações
103
Linguagem
C++
Licença
MIT
Último push
há 2 dias
C++logic-programminganswer-set-programmingdeclarative-programming

Ainda não há intel relacionado

Este repo ainda não apareceu em nenhuma das fontes que o radar rastreia. O coletor roda em um cronograma — volte quando ele cobrir este repo.