Sujet: "nacre"
crillab/nacre_mini
NACRE : Nogood And Clause Reasoning Engine
langage: C++ - taille: 187 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a plus de 6 ans - étoiles: 6 - forks: 4
Sujets associés
NACRE : Nogood And Clause Reasoning Engine
langage: C++ - taille: 187 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a plus de 6 ans - étoiles: 6 - forks: 4