#

nogood

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 nogood 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 nogood topic, visit your repo's landing page and select "manage topics."