Sudoku solver using constraint method and backtracking
-
Updated
Nov 22, 2016 - C++
Sudoku solver using constraint method and backtracking
Solving quadratic assignment problem using iterated local search, improved hybrid genetic algorithm, tabu search, and constraint solving.
A Julia package to manage Constraint-Based Local Search (CBLS) solvers.
My entry into National Novel Generation Month 2022! I kept a short dev-diary at https://github.com/NaNoGenMo/2022/issues/4
Noq is an online logic puzzle solver using Python and clasp!
Library for back tracking with customizable search for moves
Proof of concept for solving a course scheduling CSP
A constraint solver for Dishonored 2's Jindosh Riddle.
SymSolve is an efficient bounded exhaustive solver for symbolic structures with complex representation invariants.
Constraint solver for FUN language programs.
Meaningfully assign colors to map regions with constraints based on neighbouring regions' values.
A simple partial unweighted MaxSAT Solver that uses a Minisat backbone
NACRE : Nogood And Clause Reasoning Engine
EasyCSP is an open-source Java library for Constraint Satisfaction Programming. Supports CSPs, CSOPs, discrete object domains, int interval domains, int constraint binarization. Examples include NQueens, Sudoku. (Builds on Sourceforge)
A collection of Artelys Kalis examples with Jupyter Notebook
Add a description, image, and links to the constraint-solver topic page so that developers can more easily learn about it.
To associate your repository with the constraint-solver topic, visit your repo's landing page and select "manage topics."