NACRE : Nogood And Clause Reasoning Engine
-
Updated
Jun 17, 2019 - C++
#
nacre
Here are 2 public repositories matching this topic...
NACRE : Nogood And Clause Reasoning Engine
csp solver constraints constraint-programming sat-solver constraint-solver csp-solver clause nacre-mini nacre nogood
-
Updated
Sep 14, 2025 - C++
Add this topic to your repo
To associate your repository with the nacre topic, visit your repo's landing page and select "manage topics."