crillab/nacre_mini

NACRE : Nogood And Clause Reasoning Engine

Language: C++ - Size: 187 KB - Last synced at: 6 days ago - Pushed at: almost 6 years ago - Stars: 6 - Forks: 4