crillab/nacre_mini

NACRE : Nogood And Clause Reasoning Engine

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