crillab/nacre_mini

NACRE : Nogood And Clause Reasoning Engine

Language: C++ - Size: 187 KB - Last synced at: about 2 hours ago - Pushed at: over 6 years ago - Stars: 6 - Forks: 4