#

nacre-mini

Here are 2 public repositories matching this topic...

crillab / nacre_mini

NACRE : Nogood And Clause Reasoning Engine

csp solver constraint-programming clause nacre-mini nacre nogood

Updated Jun 17, 2019
C++

gglorian / Nacre

NACRE : Nogood And Clause Reasoning Engine

csp solver constraints constraint-programming sat-solver constraint-solver csp-solver clause nacre-mini nacre nogood

Updated Sep 17, 2024
C++

Improve this page

Add a description, image, and links to the nacre-mini topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the nacre-mini topic, visit your repo's landing page and select "manage topics."