Saltar al contenido principal
buildradar
Sign in

potassco/clingo

@potassco

🦉 Un fundamentador y solucionador para programas lógicos.

Estrellas
830
Bifurcaciones
103
Lenguaje
C++
Licencia
MIT
Último push
hace 2 días
C++logic-programminganswer-set-programmingdeclarative-programming

Aún no hay intel relacionado

Este repo no ha aparecido en ninguna de las fuentes que rastrea el radar. El recopilador funciona con un horario — vuelve cuando lo haya cubierto.