NACRE : Nogood And Clause Reasoning Engine
-
Updated
Jun 17, 2019 - C++
NACRE : Nogood And Clause Reasoning Engine
NACRE : Nogood And Clause Reasoning Engine
Solver algorithm in #3 Paper: Diversified Top-K MaxSAT Solving with MaxSAT
Add a description, image, and links to the clause topic page so that developers can more easily learn about it.
To associate your repository with the clause topic, visit your repo's landing page and select "manage topics."