nacre-mini

There are 2 repositories under nacre-mini topic.

crillab/nacre_mini
NACRE : Nogood And Clause Reasoning Engine
Language:C++6 4 04
gglorian/Nacre
NACRE : Nogood And Clause Reasoning Engine
Language:C++2 1 00