Giters
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++
Stargazers:
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++
Stargazers:
2