SudokuSolver

A SAT-solver based Sudoku puzzle solver.

Stars

6

Forks

3

Language

Java

Last Updated

Mar 05, 2022

Similar Repos
Repo Language Stars Description Updated At
C++ 4 SAT-based sudoku solver May 05, 2021
Python 32 SAT-based solver for the Hexiom logic puzzle Mar 11, 2023
Python 11 Sudoku solver based on SAT (Boolean Satisfiability) in python Aug 19, 2022
JavaScript 4 Sudoku puzzle solver using backtracking Apr 20, 2023
Go 96 Sudoku puzzle solver and generator Aug 21, 2022
JavaScript 2 JavaScript Sudoku Puzzle Generator & Solver Nov 18, 2021
C++ 2 Sudoku Puzzle Maker and Solver Aug 23, 2014
Go 4 Simple sudoku solver and unique-solution sudoku generator using gini sat solver Nov 17, 2021
C# 20 A sudoku puzzle solver using strategies Aug 01, 2022
Cuda 5 Sudoku -- Puzzle Solver on GPU using CUDA. Apr 05, 2022
Haskell 4 A Sudoku puzzle solver written in Haskell. Aug 13, 2019
JavaScript 2 Sudoku puzzle solver for my Algorithms class Jan 28, 2023
Erlang 2 Sudoku puzzle generator and solver in erlang. Sep 20, 2018
Python 2 A sudoku puzzle solver written in python Apr 10, 2014
JavaScript 288 A Sudoku puzzle generator and solver JavaScript library Aug 31, 2022
Ruby 3 A sudoku solver for the Heuristics puzzle book Aug 13, 2019
JavaScript 68 QQwing is a Sudoku puzzle generator and solver. Sep 02, 2022
Python 8 FOND solver based on SAT May 05, 2022
Python 3 GA-based Sudoku Solver Aug 31, 2022
PHP 8 PHP Based Sudoku Puzzle Solving Feb 18, 2022
Python 4 SAT solver Aug 15, 2022
C++ 3 SAT solver based on tableaux method Jul 13, 2020
Python 5 Proof-generated, BDD-based SAT solver Jan 28, 2023
Python 918 GUI based Smart Sudoku Solver that tries to extract a sudoku puzzle from a photo … Sep 04, 2022
Python 4 Sudoku classical and variants, Star Battle, other logic puzzle Solver Jan 15, 2023
C++ 2 CaDiCaL SAT Solver Jan 06, 2023
C++ 8 Riss SAT Solver Jan 10, 2023
C++ 216 CaDiCaL SAT Solver Apr 28, 2023
C 80 Lingeling SAT Solver Apr 30, 2023
C 77 SAT Solver SATCH Mar 31, 2023
C++ 2 Simple SAT solver Nov 04, 2020
OCaml 2 A SAT solver Nov 03, 2018
Haskell 4 A SAT Solver May 02, 2022
Go 6 A sudoku puzzle solver, generator, and difficulty-rater built in Go Apr 10, 2022
Python 8 Sudoku Solver based on Deep Learning May 11, 2020
Go 8 Go based sudoku solver and generator Jan 21, 2023
Haskell 3 A simple Sudoku solver that I've done to experiment with SAT/SMT solvers. May 17, 2022
Python 4 Sudoku solver. Jan 12, 2020
HTML 4 Sudoku Solver Jan 06, 2022
HTML 5 Sudoku solver Jul 12, 2022
Haskell 3 Sudoku solver Sep 06, 2017
JavaScript 2 Sudoku solver Oct 12, 2020
JavaScript 2 sudoku solver May 01, 2014
JavaScript 14 Sudoku Solver Apr 18, 2022
JavaScript 53 Sudoku Solver Aug 14, 2022
Rust 4 Sudoku Solver Mar 06, 2023
Scala 3 Sudoku Solver Sep 28, 2016
PHP 4 Sudoku solver Mar 13, 2023
C# 2 Sudoku solver Oct 30, 2023
Dart 2 Sudoku Solver Dec 14, 2023