csp-solver

Here are 5 public repositories matching this topic...

C++ Crossword Solver using AC3 and Back Track Algorithms.

NACRE : Nogood And Clause Reasoning Engine

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

A constraint programming solver, relying on a backtrack paired with look forward algorithms.

csp heuristics backtracking-search n-queens csp-solver coloration look-forward

Solving Class Scheduling problem using the CSP method.

A linear C++17-compliant solution to a common variant of Constraint Satisfaction Problems (CSP).

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

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