crillab/nacre_mini

NACRE : Nogood And Clause Reasoning Engine

langage: C++ - taille: 187 ko - dernière synchronisation: il y a 3 jours - enregistré: il y a environ 6 ans - étoiles: 6 - forks: 4