|
Python |
6 |
Solving Sudoku puzzles using constraint programming |
Nov 23, 2020 |
|
Python |
3 |
A sudoku solver,using constraint programming |
Feb 09, 2020 |
|
Java |
4 |
Sudoku solver using various Constraint Satisfaction heuristics |
Jul 10, 2020 |
|
Python |
2 |
A Scalable Sudoku and Constraint Satisfaction Problem Solver |
Mar 14, 2018 |
|
Java |
2 |
Solving Sudoku Using AC3, Forward Checking & Backtracking Search |
Apr 06, 2022 |
|
Scala |
111 |
DSL in Scala for Constraint Solving with Z3 SMT Solver |
Apr 19, 2023 |
|
Java |
21 |
A Constraint Satisfaction Solver (CSP) using Backtracking and Forward Checking |
Mar 23, 2020 |
|
Java |
6 |
Java Sudoku solver using AC3, Forward checking and Backtracking algorithms |
Jun 01, 2021 |
|
JavaScript |
2 |
A javascript sudoku solver that uses forward checking and DVO |
May 21, 2022 |
|
Python |
4 |
Constraint Satisfaction Problem (CSP) solver for Sudoku with a graphical interface through python |
Jun 18, 2022 |
|
Rust |
35 |
⏱️ A fast sudoku solver using constraint propagation in combination with backtracking. |
Aug 20, 2022 |
|
Go |
5 |
GoLang AlgorithmX with Dancing Links implementation for solving Exact Cover problems like Sudoku and N-Queens |
Jun 25, 2022 |
|
Ruby |
2 |
A basic Sudoku solver, with emphesis on seperating different techniques for solving |
Aug 13, 2019 |
|
Rust |
40 |
Constraint solver for word games. |
Aug 07, 2022 |
|
Python |
2 |
A Sudoku Solver for online sudoku websites |
Jun 08, 2023 |
|
C++ |
5 |
🔢 A parallelized Sudoku solver implemented with various solving algorithms in C++. |
Jul 06, 2022 |
|
Go |
2 |
A N queens' go solver, practise for golang. |
Sep 29, 2021 |
|
C# |
2 |
An incremental constraint solver for .NET |
Mar 08, 2022 |
|
Python |
9 |
Multiset Constraint Solver for Multi-SAT |
Mar 19, 2021 |
|
JavaScript |
4 |
React UI for sudoku solver |
Dec 31, 2021 |
|
Haskell |
111 |
Horn Clause Constraint Solving for Liquid Types |
Apr 10, 2023 |
|
D |
4 |
Cassowary constraint solving library for D language |
Dec 24, 2020 |
|
SMT |
4 |
A constraint solver abstraction layer for Java |
Jul 20, 2022 |
|
C++ |
3 |
Racket bindings for the Rhea constraint solver |
Mar 20, 2017 |
|
C++ |
17 |
Demo for the Simple 2D Constraint Solver. |
Aug 11, 2022 |
|
Ruby |
56 |
Ruby bindings for Z3 constraint solver library |
Dec 15, 2022 |
|
Java |
17 |
Android app for solving sudoku puzzles. |
Jul 13, 2022 |
|
JavaScript |
130 |
Sudoku generator and solver for node.js |
Jun 23, 2022 |
|
JavaScript |
2 |
Sudoku generator and solver for node.js |
Aug 12, 2015 |
|
C++ |
5 |
The UI for the sudoku solver. |
Jan 19, 2023 |
|
Java |
2 |
Insanely fast Java / GPU solver for the N-Queens Problem. |
Apr 29, 2023 |
|
Java |
8 |
Insanely fast Java / GPU solver for the N-Queens Problem. |
Apr 29, 2023 |
|
Clojure |
2 |
:nine: Sudoku solver in Clojure, extended with the capability of solving NRC (dutch newspaper) puzzles |
Sep 22, 2022 |
|
C |
34 |
Intriguer: Field-Level Constraint Solving for Hybrid Fuzzing |
May 12, 2023 |
|
Prolog |
6 |
Constraint solver for nonlinear (polynomial) constraints over reals |
May 05, 2020 |
|
Python |
2 |
A constraint-based solver for TVM Relay (WIP) |
Dec 19, 2022 |
|
Python |
7 |
A Streamlit web application for solving Sudoku. |
May 20, 2022 |
|
Python |
13 |
Library and scripts for solving Sudoku puzzles. |
Jul 18, 2022 |
|
Go |
9 |
Sudoku solver for the Golang Challenge #8 |
Nov 24, 2021 |
|
C++ |
26 |
Augmented reality Sudoku solver for educational purposes |
Jun 30, 2022 |
|
JavaScript |
2 |
Sudoku puzzle solver for my Algorithms class |
Jan 28, 2023 |
|
JavaScript |
2 |
A solver for sudoku that implements some of the best sudoku-solving practices in order to … |
Oct 07, 2021 |
|
C++ |
6 |
Ant-colony optimization with constraint propagation for the Sudoku problem |
Jun 28, 2022 |
|
Julia |
5 |
Wrapper for the constraint-programming solver Chuffed to Julia |
May 24, 2022 |
|
Haskell |
10 |
A constraint solver for finite domains, written in Haskell. |
Nov 10, 2022 |
|
Python |
2 |
Backtracking solver for the killer variant of Sudoku |
Oct 19, 2021 |
|
Ruby |
3 |
A sudoku solver for the Heuristics puzzle book |
Aug 13, 2019 |
|
Clojure |
25 |
Sudoku solver for E61 of Clean Code (cleancoders.com) |
Aug 31, 2022 |
|
Python |
22 |
Sudoku solvers in Python, Clojure, Haskell, Ruby, etc. Based on Peter Norvig's constraint propagation and … |
May 15, 2022 |
|
Python |
5 |
a sudoku solver that fills it out for you on a sudoku website |
Mar 18, 2022 |