nacre

There are 0 repository under nacre topic.

crillab / nacre_mini
NACRE : Nogood And Clause Reasoning Engine
constraint-programming nacre-mini nacre solver csp clause nogood
Language:C++ 6
gglorian / Nacre
NACRE : Nogood And Clause Reasoning Engine
constraints constraint-programming constraint-solver solver csp sat-solver csp-solver nogood nacre nacre-mini clause
Language:C++ 2