Sujet: "csp"
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 presque 7 ans - étoiles: 6 - forks: 4
SciQLop/channels
Basic and approximative C++ implementation of CSP channels
langage: C++ - taille: 39,1 ko - dernière synchronisation: il y a 4 jours - enregistré: il y a 8 mois - étoiles: 0 - forks: 0
Sujets associés