Aller au contenu principal
buildradar
Sign in

potassco/clingo

@potassco

Un grounder et solveur pour les programmes logiques.

Étoiles
830
Bifurcations
103
Langage
C++
Licence
MIT
Dernier push
il y a 2 jours
C++logic-programminganswer-set-programmingdeclarative-programming

Aucune intel associée pour le moment

Ce dépôt n'est encore apparu dans aucune des sources que le radar suit. Le collecteur suit un calendrier — revenez une fois qu'il couvre ce dépôt.