GitHub topics: csp
SciQLop/channels
Basic and approximative C++ implementation of CSP channels
Language: C++ - Size: 28.3 KB - Last synced at: about 5 hours ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
crillab/nacre_mini
NACRE : Nogood And Clause Reasoning Engine
Language: C++ - Size: 187 KB - Last synced at: about 5 hours ago - Pushed at: about 6 years ago - Stars: 6 - Forks: 4
Related Keywords